💫 Effect Systems - hello · Scour

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

🧮Algebraic Effects

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·4h

🧮SMT Solvers

abelianization of an additive category in nLab

ncatlab.org·17h

∘Category Theory

Box133: It Exists Because it Does

blog.tobiasrevell.com·1d

💬Prompt Engineering

Scaling Interaction, Not Parameters: A Hands-On Guide to MiroThinker 1.5

dev.to·1d·

Discuss: DEV

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

🪢Rope Data Structure

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

💬Prompt Engineering

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

Use of Assertions

blog.regehr.org·18h

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·21h

🦀Rust Macros

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·1d

⚛️Quantum Computing

Taking the axe to AI

newelectronics.co.uk·22h

The Embodied Impact Of Large Language Models

bix.blog·9h

💬Prompt Engineering

Cleansing the Artificial Mind: A Self-Reflective Detoxification Framework for Large Language Models

arxiv.org·1d

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·7h

💬Prompt Engineering

Simplifying complex ideas in sketches

sketchplanations.com·22h

✏️Sketch Algorithms

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·15h·

Discuss: r/cpp

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

📝Parser Combinators

Making a Language

thunderseethe.dev·11h

🔨Compiler Design

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·9h

Loading more...