931–940 of 1001 posts
I'm working on a programming language for agents to write and humans to read. Think Lean4 but built for software engineering. It's dependently typed based on Observational Type Theory. A few key differences from Lean4: 1. Constructivist rather than propositional logic, so propositions can be true or false or unknown. 2. Compiler which targets the Linux ABI (in progress). An interpreter exists and acts as an oracle fo…
It's mostly Obsidian compatible.
I've launched it less than 2 month ago and decent amount of people are using it(2K downloads), so now I'm working a lot on making it better.
grpc-comparator proxies between an original service, and it's replacement calculating timing and any deltas in responses. You instruct it which response attributes you care about.
edge-flipt uses/abuses Istio ext_authz to inject headers derived from flipt snapshot evaluations for downstream consumption, including VirtualService route selection.
I am working on a cyberpunk multiplayer, shared, persistent world which runs completely in a terminal, and you can access just by typing "vibeworld" in the terminal( https://github.com/SorBalda/vibeworld ). The idea is that developers and scientists can meet each other in the terminal in a funny way at 3 am while working. There is a place in the moon where you can "scream" against your last LLM session and everybody…
I now have a good idea of how features like chat roasters, read receipts, audio/video calls, voice messages, etc. work in WhatsApp and similar applications. The implementation might differ from one application to another, but the core fundamentals remain largely the same.
https://shopspec.io/ ShopSpec is a deterministic parametric furniture generator (bookshelves, cabinets, shop carts, leg-and-rail frames, multi-carcass composites) that encodes real woodworking intelligence and outputs shop-ready artifacts. Most recently, introduced the concept of value engineering by sweeping across dimensions to batch evaluate candidates that ranks based on sheet purchases. Also have in beta an MCP…
I could tell from the layout screenshots, but one thing to make sure is that you are accounting for the size of the kerf. Being able to set a different kerf size for different cuts would be ideal as your rip vs crosscut are often different blades.
Also, one of the more daunting parts of casework for me is sorting out exactly how undermount slides go. I would highlight any help your tool does with raising confidence in getting those installed. Even having an undermount installation tool separate from the spec work I think could be useful.
https://opaque.info - a security product for creating gated policy control and auditing of LLMs
https://curbwise.org - a community crowdsourcing product geared at improving your community
https://ukodus.now - a sudoku engine (tui, wasm, ios)
https://adanima.ai - autonomous marking product
I'm working on a programming language for agents to write and humans to read. Think Lean4 but built for software engineering. It's dependently typed based on Observational Type Theory. A few key differences from Lean4: 1. Constructivist rather than propositional logic, so propositions can be true or false or unknown. 2. Compiler which targets the Linux ABI (in progress). An interpreter exists and acts as an oracle fo…