SahulCHAR: A Palaeofire Database for Australia, New Guinea, and New Zealand
essd.copernicus.org·2d·
Discuss: Hacker News
🐫OCaml
KDB-X: KX releases FREE Commercial KDB licence
defconq.tech·17h·
Discuss: Hacker News
🔬Unikernels
Modern async iteration in JavaScript with Array.fromAsync()
allthingssmitty.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Can Keyword Ranking Data Help Agencies Retain SEO Clients?
medium.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
AI Is Breaking Into a Higher Dimension—Literally—to Mimic the Human Brain and Achieve True Intelligence
popularmechanics.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Divine Documentation
aneeshsathe.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
jank is C++
jank-lang.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
How and where will agents ship software?
instantdb.com·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: I built an MCP tool to query anything with SQL (Apache Calcite)
github.com·3d·
Discuss: Hacker News
🐫OCaml
Deep Neural Encoder-Decoder Model to Relate fMRI Brain Activity with Naturalistic Stimuli
arxiv.org·6h
🏹Effect Systems
A Lightweight and Robust Framework for Real-Time Colorectal Polyp Detection Using LOF-Based Preprocessing and YOLO-v11n
arxiv.org·1d
🐫Embedded OCaml
Should We Ever Prefer Decision Transformer for Offline Reinforcement Learning?
arxiv.org·2d
🔄Finite State Machines
Physics-informed neural networks for high-dimensional solutions and snaking bifurcations in nonlinear lattices
arxiv.org·2d
🐫OCaml
BURN: Backdoor Unlearning via Adversarial Boundary Analysis
arxiv.org·2d
🔬Unikernels
Women Sport Actions Dataset for Visual Classification Using Small Scale Training Data
arxiv.org·1d
💻CS
"high level" languages are easier to optimize
jyn.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔤DSLs
Counterfactual Visual Explanation via Causally-Guided Adversarial Steering
arxiv.org·2d
🏹Effect Systems
Towards Spatial Audio Understanding via Question Answering
arxiv.org·2d
🐫Embedded OCaml
Improving Remote Sensing Classification using Topological Data Analysis and Convolutional Neural Networks
arxiv.org·2d
💻CS
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·2d
✓Automated Theorem Proving