Rabbit R1 source code [part 1]


#2 · ✸ 61 · 💬 11 · 42 minutes ago · github.com · wibbily

Show HN: Getada: rustup-like installer for Ada's toolchain/package manager


#3 · 🔥 106 · 💬 52 · 4 hours ago · getada.dev · ajdude · 📷

New Foundations is consistent – a difficult mathematical proof proved using Lean


#4 · 🔥 150 · 💬 53 · 7 hours ago · leanprover-community.github.io · namanyayg

Show HN: 10 Level Balancing Game for the Mobile Browser w/ increasing difficulty


#5 · 🔥 177 · 💬 75 · 8 hours ago · www.balanc3dgame.com · nargaw · 📷

Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout


#6 · 🔥 370 · 💬 269 · 9 hours ago · webkit.org · achairapart

The Beautiful Dissociation of the Japanese Language


#7 · ✸ 86 · 💬 53 · 4 hours ago · aethermug.com · mrcgnc

The man who killed Google Search


#8 · 🔥 198 · 💬 94 · 2 hours ago · www.wheresyoured.at · elorant

Generative A.I. Arrives in the Gene Editing World of CRISPR


#9 · ✸ 36 · 💬 21 · 2 hours ago · www.nytimes.com · msmanek

Mathematicians Marvel at 'Crazy' Cuts Through Four Dimensions


#10 · ✸ 17 · 💬 1 · 5 hours ago · www.quantamagazine.org · nsoonhui

Krazam OS


#11 · 🔥 796 · 💬 167 · 19 hours ago · www.krazam.tv · zdgeier · 📷

The Beautiful Islands of San Serriffe (2016)


#12 · ✸ 76 · 💬 13 · yesterday · realdougwilson.com · Schiphol

EURISKO Lives


#13 · 🔥 100 · 💬 53 · 15 hours ago · blog.funcall.org · wodow · 📷

Show HN: Hashquery, a Python library for defining reusable analysis


#14 · ✸ 25 · 💬 11 · 4 hours ago · hashquery.dev · cpimhoff

The Moon brings a wild but precarious fish orgy to California's beaches


#15 · ✸ 54 · 💬 16 · yesterday · www.bbc.com · priyankanath

IBM Planning to Acquire HashiCorp


#16 · ✸ 42 · 💬 36 · 39 minutes ago · www.wsj.com · ridruejo · 📷

Phi-3 Technical Report


#18 · 🔥 373 · 💬 119 · 16 hours ago · arxiv.org · varunvummadi · 📷

Carl Sagan, nuking the moon, and not nuking the moon


#19 · ✸ 67 · 💬 60 · 14 hours ago · eukaryotewritesblog.com · freediver

The Feminist Botanist


#20 · ✸ 3 · 💬 0 · 12 hours ago · nautil.us · dnetesn

Meta Horizon OS


#21 · 🔥 760 · 💬 613 · yesterday · www.meta.com · ahiknsr · 📷

Petoi Bittle – a programmable robot dog


#22 · ✸ 63 · 💬 38 · yesterday · www.petoi.com · metalwhale · 📷

Fallout1-ce: Fallout for modern operating systems


#23 · ✸ 27 · 💬 3 · 2 hours ago · github.com · ulrischa

Equinox.space


#24 · 🔥 1,534 · 💬 316 · yesterday · equinox.space · fragmede · 📷

The 40-Year-Old Cable Modem (a NABU network modem teardown) [video]


#25 · ✸ 20 · 💬 5 · 4 hours ago · www.youtube.com · handelaar

Reverse Engineering a Software Crack


#26 · ✸ 34 · 💬 11 · 4 hours ago · twitter.com · nharada

The Evolution of Stupidity (and Octopus Intelligence)


#27 · ✸ 13 · 💬 4 · 7 hours ago · www.forkingpaths.co · ColinWright

Understanding and avoiding visually ambiguous characters in IDs


#28 · 🔥 210 · 💬 169 · 18 hours ago · gajus.com · gajus · 📷

The Performance Impact of C++'s `final` Keyword


#29 · 🔥 230 · 💬 238 · yesterday · 16bpp.net · hasheddan · 📷

The problem with invariants is that they change over time


#30 · 🔥 109 · 💬 62 · yesterday · surfingcomplexity.blog · kiyanwang

How Amazon Became the Largest Private EV Charging Operator in the US


#31 · ✸ 57 · 💬 97 · yesterday · www.bloomberg.com · defrost

Inside the Super Nintendo cartridges


#32 · 🔥 523 · 💬 150 · yesterday · fabiensanglard.net · zdw

No one buys books


#33 · 🔥 571 · 💬 553 · 22 hours ago · www.elysian.press · AlbertCory

Most Books Don't Sell Only a Dozen Copies (2022)


#34 · ✸ 80 · 💬 56 · 3 hours ago · countercraft.substack.com · jahnu

Akaunting is free, open-source online accounting software for small businesses


#36 · ✸ 98 · 💬 70 · 7 hours ago · akaunting.com · excsn · 📷

Carapace: A multi-shell completion library and binary


#37 · ✸ 81 · 💬 21 · 18 hours ago · carapace.sh · cab404 · 📷

HTML-first, framework-agnostic implementation of shadcn/UI – franken/UI


#38 · 🔥 191 · 💬 62 · 20 hours ago · www.franken-ui.dev · sveltecult · 📷

Parquet-WASM: Rust-based WebAssembly bindings to read and write Parquet data


#39 · 🔥 169 · 💬 14 · yesterday · github.com · kylebarron

The emotional trial of clinical trials: like online dating with death risk


#40 · 🔥 106 · 💬 50 · yesterday · jakeseliger.com · jseliger

FPGA Architecture for Deep Learning: Survey and Future Directions


#41 · 🔥 117 · 💬 47 · 21 hours ago · arxiv.org · matt_d · 📷

JEDEC Extends DDR5 Memory Spec to 8800 MT/S, Adds Anti-Rowhammer Features


#42 · 🔥 134 · 💬 59 · yesterday · www.anandtech.com · zdw · 📷

And There Was Digitron


#43 · ✸ 33 · 💬 15 · yesterday · www.retrobit-izlozba-digitrona.com · dsego

NASA's Voyager 1 Resumes Sending Engineering Updates to Earth


#44 · 🔥 717 · 💬 172 · yesterday · blogs.nasa.gov · jonathankoren · 📷

Apple's risky bet on CarPlay


#45 · ✸ 36 · 💬 59 · an hour ago · www.theturnsignalblog.com · vsdlrd

Show HN: OpenOrb, a curated search engine for Atom and RSS feeds


#46 · 🔥 249 · 💬 53 · yesterday · openorb.idiot.sh · lowercasename · 📷

Deep Diving into the Erlang Scheduler


#47 · ✸ 3 · 💬 0 · 9 hours ago · blog.appsignal.com · unripe_syntax

The Copier Wars: Fair Use's Rude Awakening


#48 · ✸ 83 · 💬 42 · 2 days ago · newart.press · bookofjoe

Espressif Acquires Majority Stake in M5Stack


#49 · 🔥 134 · 💬 36 · yesterday · www.espressif.com · chl

Electron 30.0.0


#50 · ✸ 71 · 💬 6 · 17 hours ago · www.electronjs.org · aragonite

Linus Torvalds, the famous embroidery file converter developer


#51 · ✸ 70 · 💬 6 · 14 hours ago · torvalds-family.blogspot.com · alexdanilowicz

Cubic Life: Conway's Game of Life in 3D


#52 · ✸ 47 · 💬 9 · 19 hours ago · github.com · SkyMarshal

The Resurrection of Rajasthan's Royal Liquors


#53 · ✸ 58 · 💬 20 · yesterday · www.atlasobscura.com · Thevet

Helios-NG: massively-parallel OS for manycore CPUs


#54 · ✸ 24 · 💬 0 · 21 hours ago · www.geekdot.com · lproven

Hackers Broke into Change Healthcare's Systems 9 Days Before Cyberattack


#55 · ✸ 64 · 💬 22 · 17 hours ago · www.wsj.com · ethbr1 · 📷

An Exploration of SBCL Internals (2020)


#56 · 🔥 127 · 💬 101 · yesterday · simonsafar.com · v9v · 📷

A 100-year-old railway Mexico hopes will rival the Panama Canal (2023)


#57 · ✸ 69 · 💬 113 · yesterday · theweek.com · mooreds

Microsoft launches Phi-3, its smallest AI model yet


#58 · ✸ 19 · 💬 0 · 9 hours ago · www.theverge.com · marban

Programming Is Mostly Thinking (2014)


#59 · 🔥 861 · 💬 318 · 2 days ago · agileotter.blogspot.com · ingve

I made an open source Windows app to rewind and search everything on screen


#60 · 🔥 520 · 💬 161 · 2 days ago · tonoko.notion.site · haruharuha

Automated Stitching of Chip Images


#61 · ✸ 6 · 💬 1 · 11 hours ago · www.bunniestudios.com · lemper

What Is Zig's Comptime?


#62 · ✸ 13 · 💬 0 · 21 hours ago · kristoff.it · liamswayne

How to reenable undervolting in 2020 Dell Laptops by editing EFI variables


#63 · ✸ 61 · 💬 14 · 2 days ago · brendangreenley.com · hmm37

"Thermonator is the first-ever flamethrower-wielding robot dog"


#64 · ✸ 14 · 💬 7 · an hour ago · throwflame.com · pr337h4m

G.M. Tricked Drivers into Being Spied on (Including Me)


#65 · ✸ 13 · 💬 1 · an hour ago · www.nytimes.com · gautamcgoel

When will computer hardware match the human brain? (1998)


#66 · ✸ 94 · 💬 112 · yesterday · www.jetpress.org · cs702

Dify, a visual workflow to build/test LLM applications


#67 · 🔥 175 · 💬 36 · 21 hours ago · github.com · mountainview

The Castration of Sima Qian (2022)


#68 · ✸ 42 · 💬 19 · yesterday · ijtihad.substack.com · recroad

Windows vulnerability reported by the NSA exploited to install Russian malware


#69 · ✸ 42 · 💬 1 · 7 hours ago · arstechnica.com · Brajeshwar

Modal is a matrioshka language based on pattern-matching to rewrite trees


#70 · ✸ 88 · 💬 20 · 19 hours ago · wiki.xxiivv.com · smlavine · 📷

EU Right to repair: Making repair easier and more appealing to consumers


#71 · ✸ 33 · 💬 15 · 2 hours ago · www.europarl.europa.eu · janpot

Internet Service Providers Plan to Subvert Net Neutrality. Don't Let Them


#72 · ✸ 7 · 💬 0 · 3 hours ago · www.eff.org · bluish29

Young people benefit from Swiss apprenticeships


#73 · ✸ 18 · 💬 18 · 5 hours ago · www.nature.com · seemu

Generate code for declarative language instead of programming language


#74 · ✸ 13 · 💬 9 · 20 hours ago · near.tl · QueensGambit · 📷

Web Game Engines and Libraries


#75 · ✸ 86 · 💬 32 · 12 hours ago · www.webgamedev.com · jverrecchia · 📷

A flat map with the least error possible: The Gott-Goldberg-Vanderbei projection


#76 · 🔥 182 · 💬 81 · yesterday · vanderbei.princeton.edu · westcort

Show HN: Metashade – a Pythonic GPU shading/compute EDSL


#77 · ✸ 45 · 💬 6 · yesterday · github.com · ppenenko

VSCode Essentials eBook


#80 · ✸ 14 · 💬 0 · 5 hours ago · microsoft.github.io · zerojames

Finding the First 10-digit Prime in Digits of e (2017)


#81 · ✸ 41 · 💬 5 · yesterday · www.hanshq.net · rvnx

The Seattle Public Library is reducing maximum digital holds


#82 · 🔥 122 · 💬 141 · 17 hours ago · shelftalkblog.wordpress.com · lxm

Apple cuts Vision Pro shipments as demand falls 'sharply beyond expectations'


#83 · ✸ 74 · 💬 87 · an hour ago · www.macrumors.com · mfiguiere

My journey into personal computer software development in 1983


#84 · 🔥 165 · 💬 77 · 3 days ago · farrs.substack.com · saloama

Penzai: JAX research toolkit for building, editing, and visualizing neural nets


#85 · 🔥 257 · 💬 51 · 2 days ago · github.com · mccoyb

Home Assistant has a new foundation and a goal to become a consumer brand


#86 · ✸ 34 · 💬 14 · 16 hours ago · arstechnica.com · LorenDB

Ex-Amazon exec claims she was asked to ignore copyright law in race to AI


#87 · 🔥 105 · 💬 40 · 18 hours ago · www.theregister.com · throwaway888abc

A Photographer Captured His Spectacular Dream Eclipse Photo


#88 · ✸ 23 · 💬 0 · yesterday · petapixel.com · elijahparker

The 'blem wit' error messages: Things get terse (2008)


#89 · ✸ 63 · 💬 14 · 3 days ago · www.theregister.com · susam

The reason PG&E rates are skyrocketing in California


#90 · ✸ 28 · 💬 27 · 15 hours ago · www.sfchronicle.com · miguelazo

Apple has reportedly acquired Datakalab


#92 · 🔥 151 · 💬 91 · yesterday · 9to5mac.com · mikece

OpenCores: A-Z80 CPU


#93 · ✸ 31 · 💬 5 · yesterday · opencores.org · tosh

A comparison of maker and entrepreneurial characteristics (2017)


#94 · ✸ 6 · 💬 0 · 8 hours ago · www.researchgate.net · wslh

Autism makes travel a challenge. Here’s how I learned to cope


#95 · ✸ 43 · 💬 56 · yesterday · www.theguardian.com · sandebert

U.S. Debt Interest Payments Reach $1T


#96 · ✸ 13 · 💬 11 · 2 hours ago · www.visualcapitalist.com · gmays

It's OK to feed wild birds – here are some tips for doing it the right way


#97 · 🔥 105 · 💬 47 · yesterday · worldsensorium.com · dnetesn

How to fix America's aviation system (2023)


#98 · 🔥 130 · 💬 140 · 2 days ago · www.wbur.org · camkego

Opening a small business in San Francisco is still a nightmare


#99 · ✸ 17 · 💬 17 · 16 hours ago · sfstandard.com · jseliger

Fallout style RPG made in Excel


#100 · 🔥 120 · 💬 52 · 2 days ago · storyteller-blog.com · droptablemain

Py2wasm – A Python to WASM Compiler


#101 · 🔥 185 · 💬 47 · yesterday · wasmer.io · fock

Show HN: I made a multiple runtime version manager that can be used on Windows


#102 · ✸ 85 · 💬 34 · yesterday · github.com · aooohan

Forge: A Tool to Teach Formal Methods


#103 · ✸ 6 · 💬 0 · 23 hours ago · blog.brownplt.org · __rito__

Amazon grows to over 750k robots, replacing 100k humans


#104 · 🔥 308 · 💬 373 · 2 days ago · finance.yahoo.com · goplayoutside

Working with Antithesis at MongoDB


#105 · ✸ 26 · 💬 1 · 5 hours ago · antithesis.com · Klaster_1

From a lorry driver to Ruby on rails developer at 38


#107 · 🔥 324 · 💬 247 · 2 days ago · www.writesoftwarewell.com · ksec



Send Feedback | WebAssembly Version (beta)