No title
markjgsmith.com·54m
🔗Concatenative Programming
Perplexity rips another page from the Google playbook with its own browser, Comet
theregister.com·1h
🔍BitFunnel
Unpatchable Vulnerabilities in Windows 10/11: Security Report 2025
zenodo.org·4h·
Discuss: Hacker News
🔌Operating system internals
Design Considerations for an Anthropophilic Computer
web.stanford.edu·7h·
Discuss: Hacker News
🖥️Vintage Macintosh
LLM Failures
funcall.blogspot.com·1d·
Discuss: Hacker News
💻Programming languages
Crucial FreeBSD Toolkit
vermaden.wordpress.com·1d·
Discuss: Hacker News
🔌Operating system internals
GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM Knowledge
arxiv.org·19h
🌀Brotli Internals
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·1d
🐓Coq
Time Series Forecasting Made Simple (Part 3.1): STL Decomposition
towardsdatascience.com·4h
📈Time Series
RecRankerEval: A Flexible and Extensible Framework for Top-k LLM-based Recommendation
arxiv.org·19h
🎯Recommendation Metrics
Topic Modeling and Link-Prediction for Material Property Discovery
arxiv.org·19h
🧭Content Discovery
Storing computer parts advice?
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Preservation
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.org·19h
⟷Bidirectional Programming
Node-neighbor subnetworks and Hk-core decomposition
arxiv.org·1d
🕸️Network Topology
Air-FedGA: A Grouping Asynchronous Federated Learning Mechanism Exploiting Over-the-air Computation
arxiv.org·19h
🤐Secure Multiparty
Recap of all types of LLM Agents
towardsdatascience.com·3h
⚡Proof Automation
Learn Python 003
dev.to·17h·
Discuss: DEV
🔗Concatenative Programming
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·2d·
Discuss: Hacker News
λLambda Formalization
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·19h
✓Automated Theorem Proving
Code vs LLM in a simple planning poker agent example
dev.to·6h·
Discuss: DEV
⚔️Lean Tactics