frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Logos Theorem Prover: Auto Tactic

https://logicaffeine.com/studio?file=examples/math/auto-tactic.logos
1•tristenharr•1h ago

Comments

tristenharr•1h ago
Hey folks, some more fun things have come to Logos Lang, including an initial cut of the theorem prover using CoC.

Please excuse the mobile formatting on the studio page, fixes coming to that soon, for best experience check it out on the web!

I asked Opus 4.5 to make a Rust implementation of PyNNDescent

https://twitter.com/leland_mcinnes/status/2009738982712627433
1•tomthe•1m ago•1 comments

The Foundation Every Design System Gets Wrong

https://www.designsystemscollective.com/spacing-systems-the-foundation-every-design-system-gets-w...
1•vednig•3m ago•0 comments

Klarna boss backs interest rate cap on credit cards

https://www.thetimes.com/business/companies-markets/article/klarna-boss-backs-trump-10-percent-in...
1•petethomas•5m ago•0 comments

Show HN: Oubli – Persistent fractal memory for Claude Code

https://github.com/dremok/oubli
1•dremok•9m ago•0 comments

Helping promote the Lax programming language

1•Mavox-ID•21m ago•0 comments

Show HN: Stove – Kotlin-first E2E testing for JVM Back end apps(Ktor,SpringBoot)

https://github.com/Trendyol/stove
1•osoykan•21m ago•0 comments

In Memoriam: The Academic Journal

https://ieeexplore.ieee.org/document/11134631
1•jruohonen•21m ago•0 comments

Agnostic library without code, only specs and tests

https://github.com/dbreunig/whenwords
1•nesk_•22m ago•0 comments

State of DataHaskell Q1 2026

https://www.datahaskell.org/blog/2026/01/12/state-of-datahaskell-q1-2026.html
3•todsacerdoti•25m ago•0 comments

Show HN: Shorta – analyze a YouTube Short → generate a storyboard → re-film

https://shorta.ai
1•eguitarz•28m ago•0 comments

Ask HN: Are you paying for AWS support, and is it worth the cost?

1•oriettaxx•32m ago•1 comments

Agent-browser by Vercel: Browser automation CLI for AI agents

https://github.com/vercel-labs/agent-browser
1•handfuloflight•32m ago•0 comments

Norway reaches 97% EV sales as EVs now outnumber diesels on its roads

https://electrek.co/2026/01/02/norway-reaches-97-ev-sales-as-evs-now-outnumber-diesels-on-its-roads/
2•smurda•33m ago•0 comments

/R/Atlanta Has New Mods: Here's What Happened

https://old.reddit.com/r/Atlanta/comments/1qbabii/ratlanta_has_new_mods_heres_what_happened/
1•echelon•34m ago•1 comments

How and for Whom Using Generative AI Affects Creativity: A Field Experiment

https://psycnet.apa.org/fulltext/2026-29702-001.html
1•EagnaIonat•35m ago•0 comments

Comitis Capital announces the acquisition of Threema

https://comitiscapital.com/news/comitis-capital-announces-the-acquisition-of-threema
1•colinprince•37m ago•1 comments

Show HN: Speaking Time Calculator – Estimate speech duration from text

https://speakingtimecalculator.org
1•pandaupup•37m ago•0 comments

Node.js fs polyfill for browser using OPFS

https://www.npmjs.com/package/@componentor/fs
1•steffanhalv•38m ago•0 comments

Where Have All the Pithiatics Gone?

https://sydneyreviewofbooks.com/reviews/where-have-all-the-pithiatics-gone
1•prismatic•42m ago•0 comments

India demands crypto outfits geolocate customers, get a selfie to prove real

https://www.theregister.com/2026/01/13/india_crypto_kyc_aml_update/
1•Brajeshwar•42m ago•0 comments

How Brain waves shape our sense of self

https://news.ki.se/how-brain-waves-shape-our-sense-of-self
1•XzetaU8•44m ago•0 comments

Asus ROG Zephyrus Duo 2026: Twin 16:10 3K OLED screens

https://rog.asus.com/laptops/rog-zephyrus/rog-zephyrus-duo-2026/spec/
2•jskherman•46m ago•1 comments

Render AI Image Generator: A Practical Guide

https://vocus.cc/article/6965fbc1fd89780001ff86a4
1•architech_willy•47m ago•0 comments

MacPrompt: Maraconic-Guided Jailbreak Against Text-to-Image Models

https://arxiv.org/abs/2601.07141
1•7777777phil•48m ago•0 comments

Developers have made $550B on Apple's App Store since 2008

https://techcrunch.com/2026/01/12/developers-have-made-550-billion-on-apples-app-store-since-2008/
2•7777777phil•50m ago•2 comments

China unveils first timekeeping software for the moon,clocks tick faster

https://www.thestar.com.my/tech/tech-news/2026/01/13/china-unveils-worlds-first-timekeeping-softw...
1•Brajeshwar•50m ago•0 comments

Besti Flokkurinn [video]

https://www.youtube.com/watch?v=xxBW4mPzv6E
1•simonebrunozzi•52m ago•0 comments

Show HN: Pdf-rfc3161 – Pure JavaScript library for RFC 3161 PDF timestamps

https://github.com/mingulov/pdf-rfc3161
2•mdn0•55m ago•0 comments

HappyWish – An AI tool I built for a problem I kept having

1•xiaolu627•58m ago•0 comments

Show HN: LoongFlow – Directed evolutionary search framework for LLM agents

https://github.com/baidu-baige/LoongFlow
1•FreshmanD•59m ago•0 comments