#科研
200
2026-11-04
1337isnot1337/DOPPLERGEIST
S
A tool to geolocate audio recordings using aircraft Doppler shifts and historical flight tracks.
2026-10-01
OpSafari/hypoarena
A
Scientific hypothesis-discovery workbench: grounded hypothesis-evidence graphs, synthetic literature with planted causal chains, generate-debate-evolve loops over pluggable offline adapters, Elo tournaments recovering planted skill order, paraphrase dedup, Bayesian evidence accumulation, reproducible reports. NumPy core, CPU-only torch extra.
2026-10-27
julianManning/eo-overpass-predictor
A
Swath-aware Landsat 8/9 and Sentinel-2 overpass prediction for any ROI: SGP4 orbits from CelesTrak TLEs, % ROI coverage, ESA acquisition-plan cross-check, DST-aware UTC/local-time CSV reports and an n2yo-style live tracker. Jupyter notebook workflow.
2026-10-20
tanzhouhu/pdf-figure-vector
A
Convert academic PDF figures into self-contained vector SVG and editable PPTX with pixel-level comparison and live preview.
2026-10-02
BootLoops-ai/bootloops
A
BootLoops 1.0: certified computational tools and house engines for exact and high-precision physics and quantitative science, built to be driven by LLM agents. MIT; docs CC BY 4.0.
2026-09-10
aycibatuhan/nervous-system-atlas
A
A browser-based 3D atlas of clinical neuroanatomy in MNI152 space: 592 meshes with synchronised MRI slices, arterial territories, traced pathways, a syndrome and lesion mode, clinical topics, a glossary and a quiz. Every entry cites open-access sources. English and Turkish.
2026-09-04
Show HN: Reactor Atlas
A
Hi HN, I'm a nuclear engineer and tech entrepreneur. After working for 3 years in the National Atomic Energy Commision (CNEA) in HPC software for nuclear simulations, I co-founded ratherlabs.com, a software company providing blockchain solutions for startups. Rather Labs business reached ~6 million usd in annual revenue in 2024; now demand is decreasing as our niche clients are using AI to launch their MVPs. Now I'm joining my scientific background with my entrepreneurial inclinations to think of problems related to the energy industry. Nuclear is experiencing a renaissance now (it was in a dark age when I was studying after the Fukushima event) so I think this is the right moment for me to jump again into the field. Reactor atlas is an interactive nuclear reactor map and an intelligence layer on top of it. The basic layer indexes: - power reactors - research reactors - fuel facilities with their history and projection, by country. The project is solving a fragmented information ecosystem, where operational and commercial data is hard to conciliate. Also, I'm monitoring nuclear news associated with each of the facilities, political declarations that may affect the nuclear landscape and geo-phisical news (like earthquakes) that could affect operation. On top of the operational + news layer, I'm creating an intelligence layer that will help institutions of different types make faster decisions by subscribing to very specific alerts. As an engineer, I used to code in fortran and c++ when I was working at CNEA, and later I participated in the first Rather Labs projects architecting complex async systems, mostly using MERN stack. I'm no longer coding anymore. I'm focused on designing robust systems with AI agents. I mainly used Claude Fable 5.1 to develop reactoratlas.com, deploying on vercel and using mostly nextjs, threejs, postgreSQL and some cron jobs to query and update data. I miss coding as in the old days, but I haven't code a single line in this project. And I strongly believe we humans shouldn't code anymore: our responsibility is now on designing and supervising AI systems. Thanks for your attention!
2026-09-01
Tyche-MKR/scientific-agent-skills
A
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 190,000+ scientists worldwide. 165 ready-to-use validated skills plus 100+ scientific databases covering biology, chemistry, medicine, and drug discovery. Compatible with Cursor, Claude Code, Codex, Pi, Antigravity, and the open Agent Skills standard.
2026-11-04
nathanmarlor/flightscope-public
A
Handheld Raspberry Pi flight tracker for a young plane-spotter: live map, plane photos and routes, a logbook, ADS-B antenna fallback and a 3D-printed case
2026-10-26
DenisSergeevitch/ex-ussr-kinship-research
A
Evidence-first genealogy skill for AI agents (Codex, Claude Code): church books, civil, military, deportation and repression records across the former USSR. Replies in your language.
2026-10-22
ScottDuncanAI/HistorianRCA
A
HistorianRCA: a root cause analysis benchmark. 90 days of simulated plant historian data from a steam-heated hold tank, with hidden faults to find and diagnose.
2026-10-16
SakanaAI/AutoIllustrate
A
Generate publication-ready, editable draw.io figures for research papers from a methods section, using LLM agents.
2026-09-15
suanmiao/fly-self-driving
A
A fruit fly connectome (165k neurons, 25.6M synapses) trained to drive a simulated street from pixels. Code, patches, renderer, results.
2026-08-23
yacine-baghli/DYB-Pro
B
DYB Pro hands the protein design pipeline to Devin: state a goal, add sequences, and an autonomous in-silico cycle returns a ranked, order-ready wet-lab shortlist at a fraction of the cost. Devin orchestrates specialist agents whose results commit to a version graph the next cycle reads.
2026-10-09
UniPat-AI/PaperBenchX
A
A benchmark for scientific research agents, evaluating end-to-end paper reproduction across 12 research areas.
2026-09-28
orlp/polyxor
A
A 128-bit universal hash function designed for fast file/data stream integrity checks with cryptographic strength, written in Rust.
2026-09-08
josevalim/lynx
A
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
2026-09-03
lotchuazzz-crypto/papergraph-mcp
A
Turn arXiv and LaTeX mathematical papers into theorem dependency graphs for AI agents through MCP.
2026-11-05
Hexay/dopplerprint
A
Work out where and when an audio recording was made using only the doppler bands in it.
2026-09-10
Show HN: Compute polynomials twice as fast
B
A few years ago my coauthor and I was wondering if we could reduce the number of multiplications used for hashing algorithms. We had a construction and a 100 page proof, but we were not 100% sure it was correct. Now we have a full Lean proof, so we decided to publish it. I made this website to make it easy for anyone how has polynomials to evaluate to see how it would be done using our method, as well as a number of previous approaches by Knuth and others.
2026-10-24
suniique/assembly-nist
A
[Assembly NIST] Assembly policy learning for a Franka arm in MuJoCo. Independent implementation of AlphaNIST with PPO, training code, and pretrained policies.
2026-10-17
supermochi64/sm64-plaque-decode
A
Decoding the Super Mario 64 courtyard plaque ("L is real 2401"): font identification, forward model of the 1996 texture, line-by-line decoding, report and full reproduction code.
2026-09-13
nftechie/flm
A
Train and chat with a frozen language model coupled to the full retained MaleCNS fly connectome.
2026-09-08
misraj-ai/qalam
A
Arabic PDF text extraction that doesn't quietly corrupt your corpus: logical word order, base letters not presentation forms, ligatures intact and a per-page verdict telling you which pages genuinely need OCR. Rust + Python, no OCR.
2026-08-23
Consensus-NLP/consensus-mcp
A
Official MCP server for Consensus. Search 220M+ peer-reviewed research papers from Claude, ChatGPT, Cursor, and any MCP client.
2026-11-01
test-bit-sys/algeria-geo
A
Algeria's 69 wilayas, 538 dairas and 1,541 communes with Arabic/French search and historical administrative boundaries. Python and TypeScript libraries.
2026-10-08
selanavot/matrix-multiplication-all-fields
A
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
2026-09-05
YibinWu/DogLegs
A
[IROS 2025] DogLegs: Robust Proprioceptive State Estimation for Legged Robots Using Multiple Leg-Mounted IMUs
2026-08-28
amap-cvlab/ABot-Recon
A
Revisiting Local Context for Long-Horizon Streaming 3D Reconstruction
2026-10-06
THUROI0787/absent-author
B
Research and writing can be automated. Authorship cannot. Evidence list + agent skills for spotting AI-produced papers no human stood behind.
2026-10-04
mallahyari/nemotron-asr-streaming-farsi
B
Streaming Persian (Farsi) speech recognition: fine-tuning NVIDIA Nemotron 3.5 ASR streaming. Data prep, training, evaluation, inference.
2026-10-01
OpSafari/laborix
B
Autonomous experiment-pipeline orchestrator: versioned research-plan DSL with dependency DAGs, deterministic checkpoint/resumable executor, tamper-evident provenance ledger, UCB1/Thompson schedulers with measured regret against synthetic oracles, ablation bookkeeping, offline report synthesis. NumPy core, CPU-only torch extra.
2026-09-06
ashemag/human-atlas
B
Open-source 3D anatomy explorer: 2,234 selectable BodyParts3D meshes, system layers, search, and exploded views.
2026-10-03
OpenCourant/OpenCourant
B
Open-source explicit finite element solver for simulating crashes, impacts, explosions, and other dynamic events.
2026-09-08
lucidrains/declarative-attention
B
Implementation of the procedure in Language Models Can Control Their Own Attention, from Namgyu Ho et al. of KAIST AI
2026-09-07
averysader/dock-postprocess
B
Open-source SBDD toolkit for standardized docking-pose import, restrained OpenMM minimization, pose QC, protein-ligand interaction analysis, ligand strain analysis, and integrated design prioritization. Supports single receptors, but also multichain receptors, molecular glues, and PROTAC ternary complexes.
2026-09-02
MarkYoungIV/abacuscopilot
B
Interactive command-line pre/post-processing copilot for the ABACUS DFT software (GPL-3.0)
2026-10-26
Outsider565/AdaRoPE
B
Code for AdaRoPE: Not All Attention Heads Should Rotate and Scale Equally (ICML 2026).
2026-10-23
wangkaiyours/rcf-agent
B
RCF Agent: a portable Python tool for rail rolling contact fatigue, crack growth, wear and shakedown analysis with Chinese guided input and reports.
2026-10-16
mbzuai-nlp/ChemLab-Assets
B
198 simulation-ready chemistry lab instruments: part-level geometry, joints, executable behaviour models and machine-readable contracts
2026-10-14
mylc2010/sci-translation-skill
B
An evidence-preserving Chinese-to-English manuscript translation and review workflow for computing, medicine and other STEM disciplines.
2026-10-05
amos689/paper-preflight
B
Pre-submission integrity gate for LaTeX papers: every reference verified against real scholarly records. No LLM guessing.
2026-09-07
choxos/OMFAtlas
B
Interactive 3D atlas of oral and maxillofacial anatomy for dental education. 643 BodyParts3D meshes plus 77 schematic nerve, vessel, gland, sinus and joint structures the source dataset omits, fitted to this skull's own landmarks.
2026-11-03
saideao/research-idea-review
B
给研究 idea 做文献调研和多模型评审：检索论文、读全文、评质量、找空白、写 proposal，再换别家的模型做元评审，输出一份 HTML 报告。Literature review and multi-model review for a research idea, with a self-contained HTML report.
2026-10-26
hieu-lee/arxiv-cli
B
arx: token-efficient, concurrent arXiv CLI built for LLM agents (Rust)
2026-10-17
remnient/romulus
B
Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
2026-10-15
ibelinp/vektorfil
B
Interactive L-C filter and diplexer synthesis: true network synthesis with a live-updating interface.
2026-09-24
nicolasbadano/NinjaMesher
B
Hex-dominant Cartesian cut-cell mesher for CFD, writing OpenFOAM polyMesh directly
2026-09-20
iamtechartist/coastal-simulation
B
A real-time coastal simulation in Three.js, pairing a shallow-water solver with breaking swells, whitewater, wet sand, spray and shoreline exploration
2026-09-16
sokrypton/protein_fighter
B
Street Fighter-style game with two humanoid proteins drawn live by py2Dmol; hits unfold them in AlphaFold pLDDT colours
2026-09-11
Show HN: What if the speed of light was 5 km/h?
B
I've always wanted to make a visualization where the speed of light was scaled down to human speeds, so that we could intuit relativistic effects with everyday objects. Here is the first version of it!
2026-09-10
Trinkle23897/URBER
B
Code for URBER: Ultrafast Rule-Based Escape Routing Method for Large-Scale Sample Delivery Biochips
2026-10-03
Sleepy-Avacado/FigGenie-paper-diagram-skill
B
FigGenie — 无痛画顶会风格论文图. Painless top-conf-style paper figures: get a camera-ready diagram (SVG, PDF, editable PPTX).
2026-09-14
yuhyun00/SoftCorr
B
Official Implementation of SoftCorr: Differentiable Local Correlation for Single-Frame Targetless LiDAR-Camera Calibration
2026-09-10
JkingYu/DiffExplorer
B
Differential analysis tool for coding-free researchers – instant statistical results and charts, ready for your lab meeting. Just unzip and run! No-coding!
2026-09-04
openai/LongGapsBetweenPrimes
B
A Lean formalization of a bound concerning long gaps between primes
2026-09-03
TheBlewish/Academic-AI-Literature-Reviewer-Ollama
B
Automated literature reviews using local LLMs via Ollama. Searches academic databases, acquires full-text papers, and writes APA 7th reviews where the model is structurally prevented from fabricating quotes — every quote is verified verbatim and is formated in APA7th.
2026-08-24
sabbir-uoulu/open-source-5g-ntn-leo
B
LEO extension of the open-source 5G NR NTN testbed: full satellite pass with live propagation delay and Doppler tracking, 600 km orbit. Companion to open-source-5g-ntn.
2026-10-08
mmlong818/open-academic-paper-gen
B
Multi-agent pipeline that turns a research topic into a draft paper grounded in real literature, with citation hallucination detection and claim-support checking.
2026-09-15
ashemag/fly-brain-atlas
B
Interactive MaleCNS fly brain atlas with native regional and neuron reconstructions
2026-08-25
Cartwhl/scaling-laws-for-motion
C
We are building the world's largest, high-quality human-motion dataset. We train hundreds of models across varying scales. We then show that they match Chinchilla scaling found in language.
2026-10-29
ridesplat/ride-splat
B
Code for RIDE-Splat: Reflection Removal for In-the-Wild Driving Environments
2026-10-16
lgwrightlab/schematic-figure
B
Skill for AI agents that draws publication-quality scientific schematic figures as vector code
2026-10-12
Optima-CityU/OpenArchEvo
B
Architecture search beyond the search space: an LLM writes architecture programs, population-based evolution decides which survive. Reference code + 171-architecture zoo for native spiking sequence models.
2026-10-03
nums-ai/ephris
B
A pretrained graph foundation model for node classification by Nums AI Inc.
2026-09-21
xisure/li-ion-soc-soh-toolkit
B
Li-ion SOC/SOH estimation library (C99, zero-dependency) + PC calibration toolchain (Ah integration + OCV resync + EKF), with HPPC parameter identification scripts
2026-09-09
openai/NavierStokesAndEuler
C
Lean certificates accompanying Navier-Stokes and Euler results
2026-08-31
SmBai1998/sci-ps-skill
B
科研绘图不再只是 AI 生一张图。这个 Skill 会自动分析参考图、拆解组件、生成素材，再进入 Photoshop 按图层逐步重建，并对位置、大小、形状、透视、色调、阴影、光效和遮挡关系进行逐层校准。最终不是一张扁平图片，而是一份可以继续修改的完整 PSD。Science 封面、Nature 风格机制图、3D 科研示意图都可以按这套流程处理。
2026-10-24
theorem-labs/oss-verify-proofs
C
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
2026-10-22
conglu1997/local-autoresearch
B
Local autoresearch on a MacBook, with Flint: geometry, scheduling and machine learning experiments.
2026-10-12
final-bench/quantum-bench-harness
B
Open Quantum Challenge (OQC) - open evaluation harness + frozen problems for the FINAL-Bench Quantum leaderboard
2026-10-05
Show HN: Nightwatch – a Mac menu-bar app that tells you when tonight is clear
C
Here in the north of England clear nights are at a premium, and it's never guaranteed that you'll be able to see anything but cloud. That's why I developed Nightwatch, so that I could be notified when one of those precious few nights where I could see into the heavens was available. Finding out whether tonight was worth setting up meant reading forecast charts every evening, usually to learn that it was not. Nightwatch does that reading for me. It sits in the Mac's menu bar and refreshes the forecast every 30 minutes. An hour before sunset it sends one notification, and only if there is an unbroken run of clear sky in astronomical darkness long enough to image in. Otherwise it says nothing: no news means "clouds". I hope this is useful for other hobbyist stargazers too! When I was a child I wanted desperately to be an astronaut or a dinosaur. I'm now old enough to be the latter and was born in a country where the former was never an option. I've had a fascination with the stars since a a friend of my father gifted me a telescope, and have faded memories of sharing time with my father staring at the stars. My father passed away a few years back and the memory of those nights came back, along with the want to share the same experience with my kids and grandchild. The app uses two forecasts: Apple's WeatherKit is the main source and Open-Meteo is a second opinion. When they disagree, the alert says so instead of averaging them. Thin high cloud counts for half. Stacking many short frames works through a veil of cirrus, so treating it as full cloud threw away usable nights. It works on your own horizon: hills come from terrain data, and you set the houses and trees in each direction, so they are accounted for when it says what is up. It works out, a year ahead, when the Moon will pass in front of a planet, a bright star or the Pleiades as seen from your site. You don't need an account. What leaves the Mac is the coordinates of the place being forecast, sent to the forecast and sky-survey services listed in PRIVACY.md. Limits: Mac only, and the aurora alerts are UK only. The worldwide light-pollution data is new this week. I have checked it against Britain's finer grid and a handful of cities, so I would especially like to hear from people elsewhere whether the darkness it suggests for your site looks right.
2026-10-03
AdrielSantana/three-bodies
B
The three-body problem, live, in Bend: physics on the CPU, every pixel on the GPU.
2026-09-27
eshin087/gcdatlas
B
The real universe, drawn entirely in ASCII. An explorable WebGL atlas from Earth to the edge of the observable universe.
2026-09-25
Rimagination/easyplot
B
AI Agent Skill for scientific data analysis and publication-ready figures in R and Python.
2026-09-14
jerryjliu/fly_ocr
B
Printed-character recognition through a fixed fruit-fly connectome, with a small trained decoder, compound-eye replays and a full research report.
2026-09-04
vamp1nn/vanguard
B
Compiler and offline partial evaluator aimed at the 3 futamura projections
2026-08-31
Pro2004-a11/shape-without-scale
B
One RGB camera, 8.2 mm from motion capture - and no idea how big the room is. Reproducible monocular SfM on TUM fr3, plus the tool that shows what scale alignment is hiding.
2026-10-29
SunandBean/paper2video
B
Claude Code skill: arXiv paper to a narrated, fact-checked explainer video (Three.js scenes, local Kokoro TTS, ffmpeg).
2026-10-29
google-deepmind/hope
B
Hilbert Operator for Progressive Encoding (HOPE), and Dispersed Elastic Fine-Tuning (DEFT).
2026-10-19
repoboost-hq/github-star-benchmarks
B
AI research dataset on GitHub stars: 32.6M starred repositories, star thresholds (100/1k/10k/100k), language and age cohorts, plus star-buying and fake-star research context from ICSE 2026. Open CSVs and reproducible queries for empirical software engineering, scientometrics and LLM evaluation.
2026-10-16
bisimulationn/liveness
B
Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point
2026-10-05
amos689/paperdelta
B
Trace changed experiment results to the numbers, claims and figures in your LaTeX paper. Offline bilingual review, safe numeric patches and read-only MCP tools.
2026-10-04
heise3/academic-deai
C
Model-agnostic Chinese and English academic editing for the latest models across Agent platforms. Reduce formulaic prose while preserving evidence and author voice.
2026-10-15
SabhyaC26/crop-map
B
What's growing here? A playful map of what California grows, from DWR field-level crop data. MapLibre + PMTiles, no backend.
2026-10-13
w16638771062/mccarbon
C
麦麦碳账本 · 基于麦当劳 MCP 的个人餐饮碳足迹估算与减排模拟器 | Personal dining carbon footprint estimator powered by McDonald's MCP
2026-09-23
DumpAnalysis/CategoryTheoryStudio
B
Visual Category Theory Studio — draw commutative diagrams, 2-cells, adjunctions and 3D cubes in the browser; export SVG, PNG and tikz-cd. Concept by Dmitry Vostokov, DumpAnalysis.org
2026-09-18
bennjordan/fruitflysynth
B
An interactive resynthesis of a male fruit fly's mating sounds utilizing the recently mapped neural dataset.
2026-09-17
Show HN: SeasonMap – when to travel where? visualized with climate data
C
Author here. I'm trying to visit every country and I've been to 158 so far. Before I decide where to travel, I'd ask a local friend which season to avoid, or open up dozens of browser tabs on climate data to figure out what the place is like in a given month. Climate data still miss things. Cancun in September looks great on paper, with 31°C and 10 hours of sun, but it's hurricane season and the beaches can be covered in seaweed. Typical info that locals would know, which can also be captured as static data. So I built SeasonMap to answer "when should I go to <place>?" What you can do: - Pick a travel style (city walk, beach, hiking, skiing, max sun, low humidity, etc.) and see every place ranked on a map - See what's in season and what to avoid, and why: monsoon, hurricanes, extreme heat, bad air, peak crowds - Filter destinations by temperature, rainfall, sunshine, air quality and hazard seasons - Open a place to see its whole year: month by month weather, events (festivals, whale watching, cherry blossom), crowd levels, practical notes like scams, and traveller anecdotes summarized by AI with links to the sources Data Source & how I made it: - The climate data is ERA5 normals via Open-Meteo (2016–2025), corrected with NOAA station data where available. - Events, hazards and traveller notes were researched and by AI agents, and every one links to its source. Gathering it was easy. Checking it was the hard part. - Yes, I've used AI heavily on this project before anyone call it an AI slop. Making was easy, but it took billons of tokens of beating whack-a-mole ai to polish and tweak to make it usable and decent. Through that, I've created many skills and evals ranging from visual qa, evals for irregular data, automated i18n and others. It still feels much like AI as I was using Claude Design, which i want to improve on. I tried using local llm, but the throughput was so low. Pricing: the first 5 minutes are fully open, no signup. After that, the top 3 destinations and 25 place breakdowns a month are free. A 30-day pass is $7, $39 a year or $69 lifetime. iOS and Android apps are coming soon. Any feedback welcome.
2026-09-13
marketcalls/openfly
B
A fruit fly connectome (MaleCNS v1.0) trading an intraday NIFTY straddle through OpenAlgo.
2026-08-26
varungiridhar/qplanning-code
B
Value-guided action selection and self-improvement for frozen behaviour-cloning policies
2026-08-24
hendrasaputra/wasl
B
Wasl — a verifiable genealogy (nasab) of the Prophet Muhammad, his household, the Sahaba and the Arab tribes, built directly on seven primary Arabic sources. Every claim carries a quotation machine-checked against the page it cites.
2026-11-03
duyunzhoudyz/dyz-med-paper-skills
B
医学论文写作与科研助手：面向中国医生和医学研究生的 32 个 Agent Skills，适用于 Claude Code、Codex，覆盖选题、PubMed 文献检索、中英写作、选刊投稿与审稿修回。Medical writing & research skills.
2026-10-24
openmathmodel/open-math-harness
C
The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.
2026-09-27
Junjue-Wang/DORA
B
[NeurIPS 2026 Oral] DORA: Can LLM Agents Respond to Disasters? Benchmarking Heterogeneous Geospatial Reasoning in Emergency Operations
2026-09-25
Eliot5566/JEV-Paper-Radar
B
Let Jev read every new arXiv paper each morning and surface the few you should read. Plain-English interests, calibrated probabilities, ~$0.06/day, fork and go.
2026-09-05
lucidrains/ccbp-pytorch
B
Implementation of the proposed CCBP (Continuous Continual BackProp) in Pytorch
2026-09-03
ZekunCheng/novoweave
C
NovoWeave — a conceptual generative protein-design framework (non-functional pseudocode).
2026-10-29
denizguneey/invariant-twins
B
Exact finite graph-invariant fingerprints with reproducible non-isomorphic witnesses.
2026-10-28
gokayfem/video-to-physics
B
Turn a reference video, image or idea into a verified physics reconstruction in Blender: measure the clip, solve and benchmark the real physics, verify it independently, render it in the same scene.
2026-10-09
Swapnil-jain/integer-mult-kappa
B
Conditional witness kappa = 249/(5*10^10) for integer multiplication, building on OpenAI #109 and Colkitt's integer-mult-bounds
2026-09-21
mweiherer/vksr
B
Official implementation of "VKSR: Scalable Kernel Surface Reconstruction Using Vecchia’s Approximation" (ECCV'26)
2026-09-20
liushunqi8-hash/editaplot2026
C
EditaPlot — editable Origin/OriginPro scientific plotting skill, with Origin 2026 (10.30) compatibility fixes.
2026-09-14
Decentricity/mindmeld-with-fly
B
Real-time Muse EEG driving one Drosophila MaleCNS reservoir (mind meld)
2026-09-14
Yusuftmle/FlyBrain-HalfLife
B
Autonomous Drosophila melanogaster (MaleCNS v1.0 / FlyWire) connectome agent playing Half-Life via biophysical LIF neural dynamics, 60x60 retina transduction, and DirectInput.
2026-09-11
DFU791/Future-Coast
B
全球变暖海平面上升后，查看你所在的沿海地区是否会被淹没。基于真实高程数据的中国沿海海平面上升可视化网页｜Interactive sea-level rise visualization for China's coastline.
2026-09-07
leochlon/secant
B
RoPE attention is an exact forward-pass gradient step with softmax intact
2026-09-07
li-shutong/ExAt-Any-Ionogram
B
Zero-shot ionogram F-layer trace extraction with vision-language agents (ExAt)
2026-09-04
PINE-Lab-NTU/FACET
B
Facet-0: A Robotic Foundation Model for Contact-Rich Precise Manipulation (arXiv 2609.01596)
2026-09-03
caofan85-lab/research-paper-daily-push
B
可配置的 Codex Skill：每日检索、证据复核、评分、中文总结、微信推送、去重与研究记忆。
2026-11-09
wrencanfly/research-loop-skills
B
Evidence-first skills for agentic research: frame, gather evidence, test, verify, and synthesize.
2026-10-29
smithjohn78390/tongjiang-lab
B
Free interactive 3D science lessons for high school · 铜匠实验室 · https://lab.tongjiang.app
2026-09-06
li-shutong/A-Label-Efficient-Model-for-Automatically-Extracting-Electron-Density-Profile-from-Ionograms
B
A Label-Efficient Model for Automatically Extracting Electron Density Profile from Ionograms
2026-10-16
bisimulationn/lambda-sub
B
Rocq formalisation of the lambda calculus with partial substitutions
2026-09-22
Show HN: A website that tracks US food prices every day
C
The US Department of Agriculture (USDA) publishes daily food price data for about 290 commodities on: - what growers were paid at shipping point - what buyers paid at the big city wholesale markets - what prices supermarkets advertised in their weekly ads This data comes out as dozens of separate text reports and PDFs, one per market, with no history and no way to see how prices change over time. I think this should be public data that is easy to access and understand, so I built an open-source tracker for it. Github: https://github.com/kadoa-org/food-price-monitor
2026-09-20
choxos/jev-reviewer
B
Data extraction for systematic reviews, quoted from the papers. Ask a trial report and its supplements your extraction form or a RoB 2, ROBINS-I, QUADAS-2 or TIDieR template; Jev points at the lines, every answer is a verbatim quote with its page, you check it and export the table. Files stay in your browser.
2026-09-03
takeiteasy41/Co-Scientist-Ideation
B
Evidence-grounded Codex Skill for bounded AI co-scientist ideation: distinct hypotheses, independent review, objection-driven evolution, and human-led decisions.
2026-08-31
Xiuyiw/CFD-SCIPaper-Agent
B
Author-in-the-loop CLI for traceable CFD project state, evidence-aware topic planning, and reproducible research workflows.
2026-08-24
ChiyunNoh/TRaIL-Odom
B
[RA-L 2026] TRaIL-Odom: Tightly Coupled Continuous Time Radar-IMU-LiDAR Odometry with Adaptive Doppler Weighting
2026-08-23
Forsy-AI/biosecurity-agent
C
AI agent that builds a live biosecurity world around any target.
2026-10-21
hongheting/antifouling-coating-simulator
C
防污涂料配方模拟器 · Antifouling coating formulation simulator (Android + iOS + Electron). Simulation ≠ measurement. Track A/C example data in public repo.
2026-10-11
13536309143/GlyphWeave
C
Integrating Stroke and Structure for Handwritten Character Recognition 融合笔画与结构的手写字符识别网络
2026-09-25
ZSHYC/MotionPosterior
C
MotionPosterior: Motion-Conditioned Posterior Estimation for Fast Small-Object Tracking
2026-09-24
ephillips85-web/adobe-illustrator-menu
C
Adobe Illustrator tools for scientific multi-panel figure alignment, sizing, layout, and labels
2026-09-14
PtPavloTkachenko/fly-brain-spectacles
C
Hologram fruit flies on Snap Spectacles (2024), each driven by the full MaleCNS fly connectome running on a Mac (bit-exact Metal GPU kernel)
2026-09-13
jiejie567/rethink-lio-gravity
C
Controlled gravity and accelerometer-bias ablations in FAST-LIO2 and LIO-SAM: code, evidence and video.
2026-09-04
spikeortom/HOPE
C
HOPE: Open dataset tracking companies' overseas expansion, global partnerships, overseas factories, M&A, joint ventures and supply-chain deals across 40+ countries. Every record is publicly sourced. | 企业出海与海外合作关系开放数据集，每条记录附公开来源。
2026-10-26
BioNanomics/openflexure-light-sheet
C
Student-led BioNanomics light-sheet microscopy project based on SPIM-DoMB and OpenFlexure sample positioning.
2026-10-01
mikamikasuki/FOREST
C
FOREST is a research agent for long-horizon science, where evidence gets lost, errors compound, and goals drift. It explores ideas, reads literature, forms hypotheses, runs real experiments, analyzes results, revises paths, and builds a full paper—all in an editable graph you can inspect, branch, redirect, with claims and figures linked to evidence
2026-09-27
NJU-PCALab/TETrack3D
C
[Neurips 2026] State Evolution Awareness for Category-agnostic 3D Point Cloud Tracking
2026-09-27
weikaixi/CrossDomainAdjust
C
R package for frozen rank and pair encoding, partial domain centering and projection, fold-local lambda tuning, and reproducible cross-domain workflows.
2026-09-25
Simreal-AI/MathmoBench
C
[Public preview] An advanced AI Benchmark for math, produced by mathmo at St John's College, Cambridge.
2026-09-23
Michael-Jiahao-Zhang/game-the-llm-reviewer
C
Defend sound research against LLM reviewer bias through meaning-preserving rewrites.
2026-09-18
yifanzhang-pro/Agora
C
Agora: Git as Shared Memory for Collective AutoResearch (arXiv:2609.18094)
2026-10-31
alchaincyf/huashu-bird-sticker
C
花叔开源的全球鸟类贴纸库 · Stickers for all 11,064 living bird species, with names in 43 languages and structured data
2026-09-11
yjz211/vivid-figures-skill
C
Anthropic Agent Skill for vivid mathematical-modeling and scientific figures with 108 preserved recipes
2026-08-29
MirroS-Lab/Code-as-World
C
Code as World: Agentic Discovery of Executable World Representations for Physical Reasoning
2026-10-29
xyzlll506/paperwalk
C
An AI skill that reads papers in full before guiding you through meaningful sections with original text, translation, explanations, and optional interactive teaching.
2026-09-29
lucidrains/survival-rl
C
Explorations into Survival Reinforcement Learning, proposed by Tiofack et al. earlier this year
2026-09-28
stormj-UH/spivak-lean
C
Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions
2026-09-23
spicylemonade/c-hd-proof
C
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
2026-09-13
ashleyotooligan/ant-1
C
An embodied neural experiment connecting a simulated ant to a synthetic neural controller
2026-09-05
emollick/alexandria-mouseion
C
Explore ancient Alexandria and the Library: a source-led 3D reconstruction, readable texts, bilingual ambience and optional Afterlives scenes.
2026-08-27
LeapLabTHU/OPDVR
C
Official repository for OPDVR: On-policy Distillation with Verifiable Reward.
2026-10-15
Show HN: A guided 3D Leonardo da Vinci museum, built in code
C
Hello HN, I am the founder of a small nonprofit which built Museum of Ages. We opened its first wing last week, a digital Leonardo da Vinci museum. It is a virtual tour with 17 stops, his works and then his last house in Amboise. The entrance is free. At the different stops you can see for example his paintings close to their real size, or 15 of his machines rebuilt in code, and you can have a look at 29 of his anatomy sheets. We also selected 207 of his manuscript pages which you can read in a virtual reading table, mirror the view to read his writing and 131 of the 207 are translated. We also rebuilt his last house in Amboise on the later stops of the walk. The museum is available in seven languages. Each stop has one of four grades as a label, documented, reconstructed, conjectural and not known. In a detailed view the user can have a closer look at the sources. The materials of the rooms and machines are created in Three.js. The museum runs with WebGPU. If the browser doesn’t support it, the fallback is WebGL2. To create the textures we used Creative Commons Zero photo scans (CC0) and for a few small objects we use free 3D models (CC0). Our mission is to create digital museums you can walk as not everyone can get to a museum, because illness or disability keeps them away. Some cannot afford the trip or just reside far away. So our goal is also to make our digital museums as accessible as possible. Therefore we also pre-rendered the walk so that it also works on older phones and is easy to use for older people. We released the code under AGPL-3.0. The texts and pictures are CC BY-SA 4.0. Reproductions have their own licenses. https://github.com/chipmates/museumofages We put a lot of time and passion into the museum and hope you like it. We are happy about any feedback. Which digital museum would you like to see next?
2026-10-14
Ayesha-Ansa/research-evidence-analyst
C
An evidence-grounded RAG research assistant that combines semantic search, BM25 keyword retrieval, Reciprocal Rank Fusion, and cross-encoder reranking to answer questions from research papers with PDF page citations and evidence sufficiency checks.
2026-10-02
renfei421/ResearchPilot
C
Evidence-grounded academic research agent with claim verification, prior-work analysis, and persistent research workspaces.
2026-10-01
xingyuz-phd/Generic-EMT-Modeling-of-Data-Center-Load
C
This project develops a modular EMT simulation model of data center loads supplied by a centralized UPS for power system studies. The model is suitable for studying control interactions among power electronic modules and dynamic interactions between the data center and the grid.
2026-09-15
nclamvn/math-research-collaborator
C
A bilingual research workbench and reproducible Lean-backed workflow for mathematicians collaborating with AI.
2026-10-19
xuyiqing/regression-lectures
C
POLI 450A (Stanford): regression lecture slides, worksheets, R code and data
2026-10-05
PhysicalAIBenchmarks/Text2WetLab
C
Anthropic Science Lead: the gap in the next 2 years, will be the orchestration layer of taking experiments described in natural language and orchestrating them in the real world. The two orchestration layers we will test L1 and L2 is liquid-handling and fine-grained instructions.
2026-09-18
KosmoResearch/UniQuery4R
C
UniQuery4R: Unified 4D Scene Reconstruction from a Single Query
2026-09-14
ajisrawi/dronemagnav
C
Magnetic-anomaly navigation (MagNav) board + firmware for drones: ESP32-S3, BMI088, LIS3MDL, BMP280, u-blox GNSS, WDMAM map matching, particle filter, MAVLink, phone route planner. Proprietary - all rights reserved.
2026-09-13
cobanov/awesome-fly
D
A curated list of fruit fly connectome projects: MaleCNS, FlyWire, brain simulations, embodied models, games, and research tools.
2026-09-07
911waler/qbox
C
A toolkit for streamlined Quantum Espresso workflows—from input preparation to post-processing.
2026-09-04
openai/PrimeGaps186
D
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
2026-11-09
wanshuiyin/SuperARIS
C
SuperARIS — Your personal research agent with ARIS (Auto Research In Sleep), powered by a team of agents.
2026-11-03
Toyhom/awesome-computational-character-modeling
C
Survey companion for Computational Character Modeling: role-playing methods, data foundations, and evaluation, organized by the manuscript.
2026-10-30
gulucaptain/Best-Paper-Writing-Skill
C
Claude / Codex skill for drafting abstracts, introductions, methods and experiments in the style of CVPR/ICCV/NeurIPS best papers, distilled from 60 award-winning papers.
2026-10-14
gerardponsmoll/vh-toolbox
C
Interactive demos for the Virtual Humans lecture (University of Tübingen): SMPL viewer with shape and pose controls
2026-10-14
yulin-zhang2026/Trifuse-DTI-pd1-prioritization
C
Public code release for TriFuse-DTI: multitask small-molecule and protein representation learning for PD-1 association prioritization.
2026-10-12
chenwei810/Semiconductor_Manufacturing_Introduction
D
Introduction to Semiconductor Manufacturing
2026-09-21
iapp-technology/openthai-systemone
C
OpenThai-SystemOne: open Thai + English System One decision model (0.8B, 256-way slot head, Apache-2.0)
2026-09-15
Frankweb33/flybrain-robot-bridge
D
Experimental Drosophila-inspired camera-to-robot bridge. Working mock neural backend, optical flow, IMU feedback and UDP motor control. MaleCNS integration planned.
2026-09-10
Foadsf/vintage-latex
D
Twenty LuaLaTeX and MetaPost (fiziko) examples of the old scientific-paper aesthetic: engraved plates, star charts, computed log tables, knots, telescopes
2026-08-24
iic-jku/fifty-nifty-circuits
C
Paper and posters showcasing fifty nifty variations of two-transistor circuits
2026-10-26
blacknoize404/MathUtils-Studio
C
MathUtils Studio: aplicación de escritorio de matemáticas paso a paso (derivadas, límites, integrales, matrices, estadística y EDOs).
2026-10-23
KohakuBlueleaf/KohakuGBC
C
Graph-Based Captioning as one KIR program on the Togeari dataflow machine, with its engines
2026-10-19
Dong-Fang-Bu-Bai/btr-dualrag
D
Source code for BTR-dualRAG: Bioinformatics Tool Recommendation With Dual Retrieval-Augmented Generation
2026-09-15
fahad-mughal-rehman/sar-colorization-gan
C
GAN-based colorization of SAR (radar) satellite imagery into optical-style RGB, using an Attention U-Net generator and multi-scale PatchGAN discriminator
2026-09-05
LunarXuan/paper-reading-tutor
C
A Codex skill for detailed, source-grounded academic paper reading