Dependent types I › Universes, or types of types
jonmsterling.com·14h·
Discuss: Hacker News
🧮Functional programming
Microsoft Designs Custom Silicon for Azure Cybersecurity
techpowerup.com·12h
🌐Distributed systems
Metadata as a Data Model
jessicatalisman.substack.com·22h·
Discuss: Substack
🗄️Databases
Reloading classes in python and shared borders
andrewpwheeler.com·1d·
Discuss: Hacker News
💻Programming
Amazon Nova Models: Now Available on Heroku
heroku.com·1d
💻Programming
Choosing the right pricing software: ‘Take an integral approach’
consultancy-me.com·1d
🌐Distributed systems
Why Zoho Built its Own Proprietary Language Model
thedailyupside.com·2d
💻Programming
Mai Dubai showcases digital HR leadership powered by Moro Hub-SAP SuccessFactors alliance
zawya.com·8h
🗄️Databases
What scaling does and doesn’t buy you: peeling back the hype surrounding Google‘s trendy Nano Banana
garymarcus.substack.com·2h·
Discuss: Substack
🌐Distributed systems
GitHub - h4kbas/pgcalendar: A PostgreSQL extension that provides infinite calendar functionality for recurring schedules with exceptions.
github.com·1d·
Discuss: r/programming
💻Programming
SynthWorks – Why Should Our Team be Using VHDL + OSVVM for Verification
dev.to·14h·
Discuss: DEV
💻Programming
Functorio: Build Factorio factories in the Lean 4
github.com·2d·
Discuss: Hacker News
💻Programming
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·3d·
Discuss: Hacker News
💻Programming
Exploring Minimal JS Frameworks: SvelteCore (~10 lines) rendering 100,000 elements
github.com·8h·
Discuss: r/javascript
💻Programming
Everyone talks about AI “memory,” but nobody defines it.
threadreaderapp.com·8h
💻Programming
Hiring Rust Game-devs for Full-time work in Auckland, NZ. Seeking Graphics or Tools Programmers.
reddit.com·1d·
Discuss: r/rust_gamedev
💻Programming
Upgrading Magic's SQLite VSS Extension
dev.to·14h·
Discuss: DEV
💻Programming
Embedded career and immigration
reddit.com·2h·
Discuss: r/embedded
🗄️Databases
Integrated Noise and Safety Management in UAM via A Unified Reinforcement Learning Framework
arxiv.org·2d
🌐Distributed systems
Managing Virtual Team Documents with Digital Tools
dev.to·8h·
Discuss: DEV
🌐Distributed systems