Creating Lisp Systems
renato.athaydes.com·3h·
Discuss: Hacker News
⚙️Programming
Flag this post
Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
⚙️Programming
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·19h·
Discuss: Hacker News
🛡️AI Safety
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
🤖AI
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙️Programming
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·2d
🔧MLIR
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
🤖AI
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
🔧MLIR
Flag this post
r/mathematics
reddit.com·21h·
Discuss: r/mathematics
🧮Homomorphic Encryption
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
pvkl.nl·4h·
Discuss: r/LLM
🤖AI
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·22h
⚙️Programming
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·13h
🛡️AI Safety
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·4d
🤖AI
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
⚙️Programming
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
🛡️AI Safety
Flag this post
Day 2 of building Secrin
dev.to·8h·
Discuss: DEV
⚙️Programming
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·6h
🛡️AI Safety
Flag this post
Computation as a Game
arxiv.org·1d
🧮Homomorphic Encryption
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🧮Homomorphic Encryption
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.uk·1h
🌐Decentralized AI
Flag this post