proletarian
Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms
https://github.com/realadeel/eidos
I've been reading Plato text and picking up some ancient Greek, and I had a useless thought experiment: what would a programming language look like with 4th century Athens constraints?Εἶδος (Eidos — "Form") is one result. It's a declarative language called Λόγος where you don't execute code — you declare what exists. Forms belong to Kinds. Forms bear testimony. A law of correspondence maps...
Show HN: CloudVac – open-source AWS resource cleaner with cost insights
https://github.com/realadeel/CloudVac
CloudVac is a local-only tool to scan, inspect, estimate costs for, and clean up unused AWS resources across multiple profiles and regions.It reads your `~/.aws/credentials` and discovers resources across services like EC2, RDS, Lambda, S3, CloudFormation stacks, and more. It estimates monthly cost per resource, flags orphaned log groups and under-utilized items, and offers a dependency-aware...
Show HN: OpenGrad – Self-directed, AI-facilitated graduate programs
https://realadeel.github.io/opengrad/
I missed the admission deadline for a graduate Philosophy program so I created something to guide me over the next several years. Starting with Euthyphro next week. Feel free to join or follow.
Show HN: UltraLocked – iOS file vault using Secure Enclave and PFS
This is a peer-to-peer marketplace where you just snap the pics and AI does the rest... title, description, category, even tags, and even a suggested price. And you can adjust the personality of the listing.
Also, it continually updates your listings based on real-time trends to ensure they stand out and attract buyers.
With features like customizable listing styles, real-time chat with buyers, and dynamic trend tracking, Shopseen takes the hassle out of selling.
Show HN: Like Facebook Marketplace, AI-native
The Miso List – Directory of businesses by people with misophonia
Misophonia Job Board
The Misophonia Podcast
Show HN: We Shipped – Post an update when you finish that release, motivate devs
Connecting Amazon IoT Button to Weather, Stripe and Restaurants
Live poll – Radiohead album release date
Backed by Andreessen, Harrison Metal and Caterpillar.
Yard Club's platform enables peer to peer rentals of high quality construction machines. Think AirBnb for bulldozers and excavators.
Rails, React, Postgres, Heroku.