๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Using the Golden Ratio to Construct Poems
poetrywithmathematics.blogspot.comยท21hยท
Discuss: poetrywithmathematics.blogspot.com
๐Ÿ“œTEI Encoding
Budgeting for a PQC Future
medium.comยท1h
๐Ÿ”Quantum Security
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.comยท4dยท
Discuss: blog.ezyang.com
โŸทBidirectional Programming
Doing events? Introducing you the world first AI agent for event management
envelope.soยท3hยท
Discuss: Hacker News
๐Ÿง Query Planners
Sarah J. Maas fans disagree about the best way to read the 'Throne of Glass' series. Here's the book order you should follow for a spoiler-free experience.
businessinsider.comยท17h
๐ŸฐManuscript Networks
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.comยท4dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Send Modbus Data to ThingsBoard with Quectel EC25
hackster.ioยท3h
๐Ÿ”ŒSingle Board PC
Why is Delphi so popular according to the Tiobe index?
news.ycombinator.comยท18hยท
Discuss: Hacker News
โฌŒBidirectional Typing
A Hybrid Discontinuous Galerkin Neural Network Method for Solving Hyperbolic Conservation Laws with Temporal Progressive Learning
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
A biological vision inspired framework for machine perception of abutting grating illusory contours
arxiv.orgยท8h
๐Ÿค–Advanced OCR
BrainPath: Generating Subject-Specific Brain Aging Trajectories
arxiv.orgยท8h
๐ŸŒ€Differential Geometry
Does Rust complexity ever bother you?
reddit.comยท3dยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
JavaScript lib for exchanging selective disclosure proofs
github.comยท2dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.comยท2d
๐Ÿ“บVT100 Emulation
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.orgยท5dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Personalized Counterfactual Framework: Generating Potential Outcomes from Wearable Data
arxiv.orgยท5d
๐ŸŽ›๏ธFeed Filtering
Why python is the brain behind AI and how to keep it clean and readable?
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Lisp Machines
Multiple Memory Systems for Enhancing the Long-term Memory of Agent
arxiv.orgยท4d
๐Ÿ“ผTape Combinators
Show HN: RAG-Guard: Zero-Trust Document AI
github.comยท15hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
[$] The "impossibly small" Microdot web framework
lwn.netยท3d
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap