standards:dfdl:dfdl - [DFDL Overview:]
ogf.org·19h
📋DFDL
Double Maths First Thing: Issue 2E
aperiodical.com·12h
👑Isabelle
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.com·1d
📝Concrete Syntax
CatColab
catcolab.org·1d
🏛Digital humanities
Solitaire Cryptographic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Infrequently Asked Questions
www-cs-faculty.stanford.edu·22h
🎯Gradual Typing
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·1d·
Discuss: Hacker News
📐Mathematical Art
How Meta keeps its AI hardware reliable
engineering.fb.com·1d
🛡️Error Boundaries
How the nature of environmental law is changing in defense of the planet and the climate
phys.org·4h
🧲Magnetic Philosophy
Crafting a dependent typechecker, part 1
blueberrywren.dev·4d·
Discuss: Hacker News
🔗Functional Compilers
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·1d·
Discuss: Hacker News
📋Document Layout
Prompt Engineering for Developers: A Practical Guide
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: classes
dev.to·1d·
Discuss: DEV
💧Liquid Types
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·16h
🔲Cellular Automata
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·2d
🧠Machine Learning
10 GitHub Repositories for Machine Learning Projects
kdnuggets.com·2d
🎵Audio ML
Better Context, Better GitHub Copilot: A Guide to copilot_instructions.md
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Rethinking Memorization Measures and their Implications in Large Language Models
arxiv.org·1d
💻Local LLMs
7 ways AI is being used in CRMs
techradar.com·7h
📊Feed Optimization
Revolutionizing AI Workflows: Sim Studio Makes it Easy!
dev.to·6h·
Discuss: DEV
⚡Proof Automation