Four Ways to Use Wolfram Notebook Assistant This Semester
blog.wolfram.com·1d
📐Proof Assistants
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·18h
👑Isabelle
"I think about this often" (2023)
dejavucoder.substack.com·10h·
Discuss: Substack
🔍BitFunnel
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·15h·
Discuss: Hacker News
🦋Format Metamorphosis
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·6h·
Discuss: Hacker News
📥Feed Aggregation
Are We Scribes?
ashouri.xyz·13h·
Discuss: Hacker News
📜Medieval Computing
Pitfalls of Customer Feedback That Create Bad Products
jasonevanish.com·1h·
Discuss: Hacker News
📊Feed Optimization
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·2d·
Discuss: Hacker News
🔗Data Provenance
How to reason from first principles
caseyhandmer.wordpress.com·2d·
Discuss: Hacker News
🎯Proof Tactics
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
I Got into Deep Learning
vikas.sh·2d·
Discuss: Hacker News
🧠Machine Learning
The Leading CISO Strategy to Pentesting as a Service
hackerone.com·1d
🕵️Penetration Testing
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·1d
📄PDF Internals
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
Smarter Code Reviews: OpenAI Meets GitHub PRs
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Stop Learning Frameworks First – Do This Instead
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.com·9h·
Discuss: Hacker News
⚙️Build Archaeology
Python Fundamentals: cassandra-driver
dev.to·11h·
Discuss: DEV
🔀CRDT