🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
💻 Programming languages

programming language theory

Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·23h
🔌Interface Evolution
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·14h
⚡Proof Automation
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·5d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d·
Discuss: Hacker News
⚡Proof Automation
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Discovery of a tRNA methyltransferase with an unusual domain architecture and functional features
phys.org·1h
🧬Palindrome Codes
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·2d
💻Local LLMs
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·10h
🎧Learned Audio
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking
The Best C++ Library
mcyoung.xyz·4d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Using AI in the development of stdlib
dev.to·19h·
Discuss: DEV
📏Code Metrics
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·3d
👑Coq Tactics
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·2d·
Discuss: r/golang
🦀Rust Verification
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·10h
🔲Cellular Automata
Finding Order-Preserving Subgraphs
arxiv.org·2d
🕸️Graph Algorithms
Subjective Evaluation Profile Analysis of Science Fiction Short Stories and its Critical-Theoretical Significance
arxiv.org·1d
🧠Intelligence Compression
From C to Python: How Programming Languages Have Evolved Over the Decades
dev.to·5d·
Discuss: DEV
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap