GitHub: TypeScript compiler and JavaScript engine in Lean
https://github.com/jessealama/thales

https://redd.it/1ut2vng
@r_coding

I built cloneX, a self-hosted SaaS-style app for the "authorized" website cloning/redesign workflow
https://github.com/hakkachhamza/cloneX

https://redd.it/1ut6xdu
@r_coding

Lean Programming Language
https://lean-lang.org/

https://redd.it/1ut9jiz
@r_coding

7 Data Compaction Engines for Apache Iceberg in 2026
https://itnext.io/7-data-compaction-engines-for-apache-iceberg-in-2026-cc0107f6fe7d

https://redd.it/1uti4rc
@r_coding

Bun: AI Prompt for Zig → Rust porting
https://github.com/oven-sh/bun/commit/46d3bc29f270fa881dd5730ef1549e88407701a5

https://redd.it/1utlib3
@r_coding

OpenCode: Setup & Get Free Frontier Models in 5 Mins!
https://youtu.be/AdZ-WKvQels

https://redd.it/1utwnd5
@r_coding

Blinter The Linter - A Cross Platform Batch Script Linter
https://github.com/tboy1337/Blinter

https://redd.it/1uu7dzn
@r_coding

Generation Got Cheap, Trust Didn't: A Multi-Agent Trading System with Guardrails and Traceability
https://vkontech.com/multi-agent-trading-guardrails-traceability/

https://redd.it/1uu9ndp
@r_coding

Simple Text editor
https://github.com/kailyhpotatoestew/Simple_TextbyK

https://redd.it/1uuypan
@r_coding

Understanding the Mediator Design Pattern in Go
https://medium.com/@priyankchheda/understanding-the-mediator-design-pattern-in-go-a-practical-guide-ea7debc9a9a7

https://redd.it/1uv30gj
@r_coding

Microsoft research finds AI-coding agents spread through peer pressure, not mandates
https://leaddev.com/ai/ai-coding-agents-spread-through-peer-pressure-not-mandates

https://redd.it/1uv40lu
@r_coding

Engineering managers are paying the price of rising expectations
https://leaddev.com/leadership/engineering-managers-are-paying-the-price-of-rising-expectations

https://redd.it/1uvbkdq
@r_coding

How to hire engineers for strong judgment and taste
https://leaddev.com/hiring/how-to-hire-engineers-for-strong-judgment-and-taste

https://redd.it/1uw1i8d
@r_coding

PSA: images of text can be 10x more token-efficient than the text itself. Built a tool to test it
https://imagizer-website.vercel.app/

https://redd.it/1uweog9
@r_coding

i need to know where i can find public domain content that is ethical that i can train mySLLMs on. i dont want to be a scraping asshole who just steals any and every piece of data he can find without permission. help. is guttenberg ok? also i didnt knoww what to put for a link so i just added that
https://www.gutenberg.org/

https://redd.it/1uwhske
@r_coding

When Is Software Illegal? The History Of Code & Free Speech
https://www.youtube.com/watch?v=cUEc2pN_kaU

https://redd.it/1uwrs5x
@r_coding

I need help marrying two repos. This is a graphic page which should click through to the actual page.
https://ryancpotts.github.io/smoke-text-effect/

https://redd.it/1uwrs1e
@r_coding

Microservice dogma nearly tanked our seed round. The platform survived. The engineering org did not.
https://leaddev.com/technical-direction/microservice-dogma-nearly-tanked-our-seed-round

https://redd.it/1ux06gh
@r_coding

Jira launches system for AI-native software development where "every agent action is visible, governed, and tied to a business outcome."
https://atlassian.com/blog/company-news/ai-sdlc

https://redd.it/1uxhsqo
@r_coding

ONLINE 24 HR HACKATHON FOR HIGH SCHOOL STUDENTS!!! 5 BUCK ENTRANCE FEE >200 BUCK AWARDS
https://forms.gle/9sti1pcCgX3hTkba6

https://redd.it/1uy1r94
@r_coding