Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.comยท1d
๐Ÿ“Mathematical Computing
modded-nanogpt medium world record: adding value embeddings
snimu.github.ioยท1d
โœจEffect Inference
CDB and World Bank agree on actions to advance projects in SVG
searchlight.vcยท1d
๐ŸŒBrowser REPLs
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.comยท2h
๐Ÿ”„Tail Call Analysis
Meta Superintelligence's surprising first paper
paddedinputs.substack.comยท4hยท
๐Ÿ—บ๏ธRegion Inference
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท2dยท
Discuss: Hacker News
๐ŸงฎTheorem Provers
Does anything people ask "surprise" the LLMs?
preview.redd.itยท1dยท
Discuss: r/LLM
โš–๏ธInference Rules
๐Ÿ’Ž Day 5 of 30 Days of Solidity โ€” Build a Treasure Chest Contract
github.comยท2dยท
Discuss: DEV
๐Ÿ”€SSA Form
Five Best Practices for Using AI Coding Assistants
cloud.google.comยท1d
๐ŸŽญProgram Synthesis
Scrape Google Maps Reviews for London's Best Roast Dinner! (Part 1)
dev.toยท1dยท
Discuss: DEV
๐Ÿ indieweb
I missed having Spek on my server, so I built AudioDeck: a self-hosted web spectrogram analyzer
reddit.comยท8hยท
Discuss: r/selfhosted
๐Ÿ”„Incremental Parsers
Forking-Sequences
arxiv.orgยท1d
๐ŸชœRecursive Descent
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.orgยท2d
๐ŸชœRecursive Descent
So, AI Made You a Superman?
medium.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.orgยท9h
๐Ÿ“ŠLR Parsing
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.orgยท9h
๐ŸŒฑMinimal Interpreters
10 Laravel Edge Cases Every Developer Should Know (Before They Hit Production)
dev.toยท21hยท
Discuss: DEV
๐Ÿ›ก๏ธError Handling
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.orgยท1d
๐ŸชœRecursive Descent