I am no longer chairing defenses or joining committees where students use generative AI for their writing
statmodeling.stat.columbia.edu·22h
⚡Proof Automation
Some Early Tests and Notes on ChatGPT Agent
macstories.net·1h
🎙️Whisper
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.io·3h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Pathology-oriented multiplexing enables integrative disease mapping
nature.com·1d
📄Document Digitization
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Code Smells in Clojure
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·2d
🔐Quantum Security
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·1d
🧠Intelligence Compression
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·1d
🧠Intelligence Compression
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·1d
✓Automated Theorem Proving
Proof-theoretic Semantics for First-order Logic
arxiv.org·1d
🏗️Constructive Logic
AI-Powered Quiz Generator - SyllabusQuiz
dev.to·1d·
Discuss: DEV
⚡Proof Automation
From Neural Network Frustration to Mathematical Innovation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
PostgreSQL Schema Management via Source Files
github.com·4h·
Discuss: Hacker News
🔄Schema Evolution
Cactus Language • Stylistics 4
inquiryintoinquiry.com·4d
🌳Context free grammars
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·4d
✨Effect Handlers
Using leaked data to examine vulnerabilities in SMS routing and SS7 signalling
medium.com·2h·
Discuss: Lobsters, Hacker News
🌐DNS Security
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·1d·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Internals