frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: oeis-tui – A TUI to search OEIS integer sequences in the terminal

https://github.com/hako/oeis-tui
31•wesleyhill•1w ago
i always loved looking up the On-Line Encyclopedia of Integer Sequences (OEIS) when researching a sequence of numbers.

so I decided to make a TUI and CLI for it so that I can browse sequences in the terminal.

it supports almost all the features on the site (including the OEIS Webcam) and supports graphs, a preview pane, exporting and bookmarks.

more features here: https://github.com/hako/oeis-tui?tab=readme-ov-file#features

repo: https://github.com/hako/oeis-tui

gitHub releases: https://github.com/hako/oeis-tui/releases

cargo: cargo install oeis-tui

Comments

hosteur•1d ago
Great idea. I love exploring OEIS.
tracker1•1d ago
Kind of love the renaissance of all the TUI apps around Rust with Ratatui... It's really nice to see all around.

OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI

https://simonwillison.net/2025/Dec/12/openai-skills/
208•simonw•5h ago•132 comments

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt

https://developer.apple.com/documentation/macos-release-notes/macos-26_2-release-notes#RDMA-over-...
320•guiand•8h ago•179 comments

GNU Unifont

https://unifoundry.com/unifont/index.html
179•remywang•8h ago•50 comments

Ferrari's Formula 1 Handovers: Handovers from Surgery to Intensive Care 2008;pdf

https://gwern.net/doc/technology/2008-sower.pdf
20•bookofjoe•6d ago•5 comments

Show HN: Claude Code Recipes for Knowledge Workers (Open Source)

https://github.com/sgharlow/claude-code-recipes
9•sgharlow•59m ago•0 comments

1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli

https://www.ghibli.jp/info/013772/
16•vinhnx•2h ago•0 comments

Poor Johnny still won't encrypt

https://bfswa.substack.com/p/poor-johnny-still-wont-encrypt
5•zdw•36m ago•0 comments

Rats Play DOOM

https://ratsplaydoom.com/
219•ano-ther•8h ago•84 comments

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig

https://github.com/ringtailsoftware/uvm32
95•trj•6h ago•5 comments

50 years of proof assistants

https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html
55•baruchel•5h ago•5 comments

So What Should We Call This – A Grue Jay?

https://cns.utexas.edu/news/research/so-what-should-we-call-grue-jay
31•surprisetalk•5d ago•15 comments

Show HN: I made a spreadsheet where formulas also update backwards

https://victorpoughon.github.io/bidicalc/
85•fouronnes3•1d ago•36 comments

Ensuring a National Policy Framework for Artificial Intelligence

https://www.whitehouse.gov/presidential-actions/2025/12/eliminating-state-law-obstruction-of-nati...
96•andsoitis•1d ago•148 comments

Slax: Live Pocket Linux

https://www.slax.org/
7•Ulf950•4d ago•1 comments

Sick of smart TVs? Here are your best options

https://arstechnica.com/gadgets/2025/12/the-ars-technica-guide-to-dumb-tvs/
183•fleahunter•16h ago•193 comments

Freeing a Xiaomi humidifier from the cloud

https://0l.de/blog/2025/11/xiaomi-humidifier/
49•stv0g•22h ago•28 comments

Capsudo: Rethinking Sudo with Object Capabilities

https://ariadne.space/2025/12/12/rethinking-sudo-with-object-capabilities.html
50•fanf2•7h ago•25 comments

SQLite JSON at full index speed using generated columns

https://www.dbpro.app/blog/sqlite-json-virtual-columns-indexing
333•upmostly•15h ago•102 comments

Oliver Sacks fabricated key details in his books

https://boingboing.net/2025/12/12/oliver-sacks-fabricated-key-details-in-his-books.html
27•talonx•1h ago•4 comments

Google Removes Sci-Hub Domains from U.S. Search Results Due to Dated Court Order

https://torrentfreak.com/google-removes-sci-hub-domains-from-u-s-search-results-due-to-dated-cour...
30•t-3•1h ago•15 comments

The Checkerboard

https://99percentinvisible.org/episode/650-the-checkerboard/
26•thread_id•4h ago•5 comments

Motion (YC W20) Is Hiring Senior Staff Front End Engineers

https://jobs.ashbyhq.com/motion/715d9646-27d4-44f6-9229-61eb0380ae39
1•ethanyu94•7h ago

Security issues with electronic invoices

https://invoice.secvuln.info/
80•todsacerdoti•8h ago•47 comments

Pg_ClickHouse: A Postgres extension for querying ClickHouse

https://clickhouse.com/blog/introducing-pg_clickhouse
80•spathak•2d ago•30 comments

String theory inspires a brilliant, baffling new math proof

https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/
122•ArmageddonIt•12h ago•125 comments

Building small Docker images faster

https://sgt.hootr.club/blog/docker-protips/
37•steinuil•18h ago•10 comments

The Coming Need for Formal Specification

https://benjamincongdon.me/blog/2025/12/12/The-Coming-Need-for-Formal-Specification/
5•todsacerdoti•1h ago•3 comments

CM0 – A new Raspberry Pi you can't buy

https://www.jeffgeerling.com/blog/2025/cm0-new-raspberry-pi-you-cant-buy
176•speckx•13h ago•45 comments

Home Depot GitHub token exposed for a year, granted access to internal systems

https://techcrunch.com/2025/12/12/home-depot-exposed-access-to-internal-systems-for-a-year-says-r...
218•kernelrocks•10h ago•129 comments

Async DNS

https://flak.tedunangst.com/post/async-dns
109•todsacerdoti•12h ago•37 comments