The Cure programming language is dependently-typed, with FSMs and compiles to BEAM https://cure-lang.org/api/readme.html
๐จhacking
Flag this post
Building a Trusted Gaming Future: How Security Powers Fair Play
news.xbox.comยท1d
๐จhacking
Flag this post
Java Stream API tutorial: How to create and use Java streams
infoworld.comยท3d
๐จhacking
Flag this post
Scaling HNSWs
๐จhacking
Flag this post
Excellent post by Chris Penner, explaining the issues with shared state and concurrency, then showing how STM solves them: chrispenner.ca/posts/mutexes
๐งhardware
Flag this post
I'm using Vivaldi to manage my tabs now, and it's better than Chrome extensions
xda-developers.comยท1d
๐งhardware
Flag this post
The worldโs first microprocessor is *NOT* from Intel.
threadreaderapp.comยท2d
๐จhacking
Flag this post
AI Update, November 14, 2025: AI News and Views From the Past Week
marketingprofs.comยท2d
๐regenerative ag
Flag this post
FMC gets FERAM cash to kill Optaneโs ghost
blocksandfiles.comยท1d
๐งhardware
Flag this post
Day 1267 : I Linger On
๐regenerative ag
Flag this post
FireBeetle 2 ESP32-C5 IoT development board offers GDI display interface, LiPo battery support
cnx-software.comยท1d
๐งhardware
Flag this post
Types of systems that could be useful for agent foundations
lesswrong.comยท2d
๐regenerative ag
Flag this post
[Project] Modular IPTV/EPG platform with custom virtualization, Rust/WASM parser and Android native bridge
๐งhardware
Flag this post
ChatGPT 5.1 is here.
threadreaderapp.comยท3d
๐จhacking
Flag this post
๐๏ธ BQQM: The Ford carrier sitting in SOUTHCOM is not geared for simple regional action... it is a Global Signal.... a thread... ๐งต
threadreaderapp.comยท2h
๐regenerative ag
Flag this post
Automated Microbial Strain Optimization for Enhanced Biofilm Production Using Multi-objective Bayesian Optimization
๐regenerative ag
Flag this post
Project 1:
๐จhacking
Flag this post
๐ฅ LLM Interview Series(6): RLHF (Reinforcement Learning from Human Feedback) Demystified
๐จhacking
Flag this post
Loading...Loading more...