The theorem on formal functions
math.columbia.edu·20h
🔧PLT
sGs UnMix: a web application for spatial prediction and mixture modeling with a case study on volcanic soil CO<sub>2</sub> fluxes
sciencedirect.com·4h
🪜Scala
Covering hidden=until-found
css-tricks.com·1d
🔧PLT
Talking AI babies is the latest generative trend – now I can't stop making newborns talk
techradar.com·18h
🤖AI
This week’s news in Venn diagrams.
lithub.com·22h
🔧PLT
The New Linux Mint, Home Assistant Hardware, and More: News Roundup
howtogeek.com·6h
🤖AI
New post
toblogornottoblog.bearblog.dev·6h
🔧PLT
writing-advice
chadnauseam.com·52m
🪜Scala
⭐ andydunstall piko
waylonwalker.com·54m
🤖AI
SVG IN HTML.
dev.to·22h·
Discuss: DEV
🔧PLT
⭐ David-Kunz treesitter-unit
waylonwalker.com·54m
🤖AI
Multi-Sequence Parotid Gland Lesion Segmentation via Expert Text-Guided Segment Anything Model
arxiv.org·2d
🤖AI
I could’ve kept this locked in my client files forever.
threadreaderapp.com·2d
🦀Rust
Comparison of Generic Container Libraries for C
github.com·3d·
Discuss: Hacker News
🔧PLT
Sleeping Machines: Why Our AI Agents Still Behave Like Talented Children
lesswrong.com·2d
🤖AI
[Showcase Saturday] Tried to make an Awwwards-level online converter tool using no frameworks, and accidentally gave myself a masterclass in modern front-end de...
reddit.com·9h·
Discuss: r/webdev
📐formal specification
⭐ tweag topiary
waylonwalker.com·54m
🦀Rust
How to Improve Logging in ArkTS: A Better Alternative to hilog with LogManager?
dev.to·2d·
Discuss: DEV
📐formal specification
Real-Time Anomaly Detection in Semiconductor Wafer Inspection via Multi-Modal Fusion & HyperScore Validation
dev.to·10h·
Discuss: DEV
🤖AI
Automated Substructure Lifting Protocol Optimization via Multi-Modal Feature Fusion and Reinforcement Learning
dev.to·39m·
Discuss: DEV
🔧PLT