Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·3d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Show HN: AI interviewer that replaces static feedback forms
diaform.io·14h·
Discuss: Hacker News
⏱️Real-time Analytics
Flag this post
Show HN: The Prompt Engineering Bible – Complete Guide to AI Communication
dimitriosmitsos.gumroad.com·9h·
Discuss: Hacker News
🔍AI Detection
Flag this post
A Reading Hack: Study Non-Physics Books by Physicists (50-Book List)
learningloom.substack.com·5d·
Discuss: Substack
🚀Spacecraft Navigation
Flag this post
PaperJet – privacy-first document processing
getpaperjet.com·5d·
Discuss: Hacker News
🗂️Obsidian
Flag this post
Disaggregated Database Management Systems
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🗄️Database Sharding
Flag this post
Context Engineering 2.0: The Context of Context Engineering
arxiviq.substack.com·6d·
Discuss: Substack
🎮Reinforcement Learning
Flag this post
Can Agentic AI workflows create good content?
medium.com·6d·
Discuss: Hacker News
📡RSS
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·6d·
Discuss: Hacker News
🗂️HDF5
Flag this post
From Pandas in Python to TabularData in Swift for Data Exploration
dev.to·2d·
Discuss: DEV
🐍Scientific Python
Flag this post
SE-Res-U-Net: an improved U-Net architecture for efficient sleep state detection and classification
nature.com·3d
⏱️Real-time Analytics
Flag this post
Auto-Detecting CSV Schemas for Lightning-Fast ClickHouse Ingestion with Parquet
dev.to·5d·
Discuss: DEV
📋CSV Processing
Flag this post
Building an AI-Powered Resume Tailoring Pipeline: Lessons Learned
github.com·5d·
Discuss: DEV
🏗data engineering
Flag this post
MySQL Index Optimization for Complex Laravel Queries
dev.to·5d·
Discuss: DEV
⚙️Database Internals
Flag this post
The Art of Memory: A Journey with WeakMap and WeakSet
dev.to·5d·
Discuss: DEV
🛡️Memory Safety
Flag this post
Traffic Down? Build Structured Authority Before You Disappear
dev.to·5d·
Discuss: DEV
🔄Feed Aggregation
Flag this post
A Tensor Residual Circuit Neural Network Factorized with Matrix Product Operation
arxiv.org·2h
🤖AI
Flag this post
Reasoning Is All You Need for Urban Planning AI
arxiv.org·3d
🤖AI
Flag this post
Avatar Identity Drift Mitigation via Multi-Modal Behavioral Alignment
dev.to·1d·
Discuss: DEV
🎮Reinforcement Learning
Flag this post
Towards Mixed-Modal Retrieval for Universal Retrieval-Augmented Generation
dev.to·3d·
Discuss: DEV
🔄Feed Aggregation
Flag this post