Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·33m·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Put a little Pixie in your cluster
bitfieldconsulting.com·1d
👁️Observability
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.com·4d·
Discuss: Hacker News
🗂️Obsidian
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·3d·
Discuss: Lobsters, Hacker News
🌳Git
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·3d·
Discuss: Hacker News
📊Columnar Engines
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·4d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·5d·
Discuss: Hacker News
🔍AI Detection
Flag this post
Detached agent chains that work like people do
nuuduu.com·3d·
Discuss: DEV
👁️Observability
Flag this post
It's always DNS
dev.to·6h·
Discuss: DEV
🗂️HDF5
Flag this post
5 Fun Data Science Projects for Absolute Beginners
kdnuggets.com·6d
🏗data engineering
Flag this post
Multitron 1.0 — MIT php task orchestrator focused on speed and DX
github.com·1d·
Discuss: Hacker News, r/opensource
📊Columnar Engines
Flag this post
BengaliMoralBench: A Benchmark for Auditing Moral Reasoning in Large Language Models within Bengali Language and Culture
arxiv.org·3d
🔧Functional Programming
Flag this post
Web Developer Travis McCracken on The Tools I Use Every Day as a Web Developer
dev.to·8h·
Discuss: DEV
📋Tokei
Flag this post
The Twilio-Stytch Acquisition: A Technical Analysis of Developer CIAM in 2025
dev.to·1d·
Discuss: DEV
⚡DataFusion
Flag this post
Advanced Hydraulic Fracture Optimization for Enhanced Reservoir Connectivity in Clay-Rich Dam Foundations
dev.to·3h·
Discuss: DEV
👁️Observability
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·5d
🔍AI Detection
Flag this post
Unlocking Salesforce CRM Intelligence with MindsDB’s AI Powered Knowledge Bases
dev.to·3d·
Discuss: DEV
🏛️Lakehouse Architecture
Flag this post
From Lab PC to Serverless: DNA Sequence Alignment on AWS
dev.to·6d·
Discuss: DEV
📊AWS Analytics
Flag this post
Stop Writing Bad Case Studies: This AI Prompt Generates Professional Business Narratives
dev.to·4d·
Discuss: DEV
⌨️Text Editors
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·6d·
Discuss: Hacker News, r/reactjs
🌳Git
Flag this post