Four Ways to Use Wolfram Notebook Assistant This Semester
blog.wolfram.com·1d
📐Proof Assistants
You can learn anything in 2 weeks
letters.thedankoe.com·6h·
Discuss: Hacker News
⬜Minimalism
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·11h
👑Isabelle
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·10h·
Discuss: Hacker News
🗃️Database Storage
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·9h·
Discuss: Hacker News
🦋Format Metamorphosis
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·2d·
Discuss: Hacker News
🔗Data Provenance
Are We Scribes?
ashouri.xyz·7h·
Discuss: Hacker News
📜Medieval Computing
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics
"I think about this often" (2023)
dejavucoder.substack.com·3h·
Discuss: Substack
🔍BitFunnel
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
I Got into Deep Learning
vikas.sh·1d·
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·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.com·1d·
Discuss: r/programming
🔄Archival Workflows
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1d
🔐Quantum Security
I cloned this VC-funded AI super agent app in a weekend, here's how🪄✨
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: dimensionality reduction
dev.to·2d·
Discuss: DEV
📐Linear Algebra
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·22h·
Discuss: DEV
🔗Concatenative Programming