fp.

Barn Owls Know When to Wait

https://blog.typeobject.com/posts/2026-barn-owls-know-when-to-wait/

1•fintler•43s ago•0 comments

Implementing TCP Echo Server in Rust [video]

https://www.youtube.com/watch?v=qjOBZ_Xzuio

1•sheerluck•1m ago•0 comments

LicGen – Offline License Generator (CLI and Web UI)

1•tejavvo•4m ago•0 comments

Service Degradation in West US Region

https://azure.status.microsoft/en-gb/status?gsid=5616bb85-f380-4a04-85ed-95674eec3d87&utm_source=...

2•_____k•4m ago•0 comments

The Janitor on Mars

https://www.newyorker.com/magazine/1998/10/26/the-janitor-on-mars

1•evo_9•6m ago•0 comments

Bringing Polars to .NET

https://github.com/ErrorLSC/Polars.NET

2•CurtHagenlocher•8m ago•0 comments

Adventures in Guix Packaging

https://nemin.hu/guix-packaging.html

1•todsacerdoti•9m ago•0 comments

Show HN: We had 20 Claude terminals open, so we built Orcha

1•buildingwdavid•9m ago•0 comments

Your Best Thinking Is Wasted on the Wrong Decisions

https://www.iankduncan.com/engineering/2026-02-07-your-best-thinking-is-wasted-on-the-wrong-decis...

1•iand675•9m ago•0 comments

Warcraftcn/UI – UI component library inspired by classic Warcraft III aesthetics

https://www.warcraftcn.com/

1•vyrotek•10m ago•0 comments

Trump Vodka Becomes Available for Pre-Orders

https://www.forbes.com/sites/kirkogunrinde/2025/12/01/trump-vodka-becomes-available-for-pre-order...

1•stopbulying•11m ago•0 comments

Velocity of Money

https://en.wikipedia.org/wiki/Velocity_of_money

1•gurjeet•14m ago•0 comments

Stop building automations. Start running your business

https://www.fluxtopus.com/automate-your-business

1•valboa•18m ago•1 comments

You can't QA your way to the frontier

https://www.scorecard.io/blog/you-cant-qa-your-way-to-the-frontier

1•gk1•19m ago•0 comments

Show HN: PalettePoint – AI color palette generator from text or images

https://palettepoint.com

1•latentio•20m ago•0 comments

Robust and Interactable World Models in Computer Vision [video]

https://www.youtube.com/watch?v=9B4kkaGOozA

2•Anon84•24m ago•0 comments

Nestlé couldn't crack Japan's coffee market.Then they hired a child psychologist

https://twitter.com/BigBrainMkting/status/2019792335509541220

1•rmason•25m ago•1 comments

Notes for February 2-7

https://taoofmac.com/space/notes/2026/02/07/2000

2•rcarmo•27m ago•0 comments

Study confirms experience beats youthful enthusiasm

https://www.theregister.com/2026/02/07/boomers_vs_zoomers_workplace/

2•Willingham•34m ago•0 comments

The Big Hunger by Walter J Miller, Jr. (1952)

https://lauriepenny.substack.com/p/the-big-hunger

2•shervinafshar•35m ago•0 comments

The Genus Amanita

https://www.mushroomexpert.com/amanita.html

1•rolph•40m ago•0 comments

We have broken SHA-1 in practice

https://shattered.io/

10•mooreds•40m ago•3 comments

Ask HN: Was my first management job bad, or is this what management is like?

1•Buttons840•41m ago•0 comments

Ask HN: How to Reduce Time Spent Crimping?

2•pinkmuffinere•43m ago•0 comments

KV Cache Transform Coding for Compact Storage in LLM Inference

https://arxiv.org/abs/2511.01815

1•walterbell•47m ago•0 comments

A quantitative, multimodal wearable bioelectronic device for stress assessment

https://www.nature.com/articles/s41467-025-67747-9

1•PaulHoule•49m ago•0 comments

Why Big Tech Is Throwing Cash into India in Quest for AI Supremacy

https://www.wsj.com/world/india/why-big-tech-is-throwing-cash-into-india-in-quest-for-ai-supremac...

3•saikatsg•49m ago•0 comments

How to shoot yourself in the foot – 2026 edition

https://github.com/aweussom/HowToShootYourselfInTheFoot

2•aweussom•50m ago•0 comments

Eight More Months of Agents

https://crawshaw.io/blog/eight-more-months-of-agents

4•archb•52m ago•0 comments

From Human Thought to Machine Coordination

https://www.psychologytoday.com/us/blog/the-digital-self/202602/from-human-thought-to-machine-coo...

1•walterbell•52m ago•0 comments

Open in hackernews

Logos Theorem Prover: Auto Tactic

https://logicaffeine.com/studio?file=examples/math/auto-tactic.logos

1•tristenharr•3w ago

Comments

tristenharr•3w 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!