fp.

Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving

https://arxiv.org/abs/2512.23511

1•StatsAreFun•1m ago•0 comments

GenAI may create a socioeconomic tipping point through labour displacement

https://www.nature.com/articles/s41598-025-08498-x

2•dandelionv1bes•2m ago•0 comments

HK's newest anti-scam technology: over-the-counter banking

https://www.theregister.com/2025/12/31/hong_kong_antiscam_money_safe/

1•amaccuish•3m ago•0 comments

Book Review: The Math Academy Way

https://ijfen.substack.com/p/book-review-the-math-academy-way

1•henrik_w•4m ago•0 comments

Flops? musée des Arts et Métiers

https://www.arts-et-metiers.net/musee/flops

1•based2•8m ago•0 comments

Russia's disinformation campaign about Bulgaria's transition to the euro

https://unn.ua/en/news/russia-launched-a-disinformation-campaign-regarding-bulgarias-transition-t...

1•janandonly•10m ago•0 comments

India overtakes Japan as 4th-largest economy, report says

https://www.dw.com/en/india-overtakes-japan-as-4th-largest-economy-report-says/a-75341063

1•eatonphil•13m ago•0 comments

A simple neck scan could detect men at high risk of heart failure

https://medicalxpress.com/news/2025-11-simple-neck-scan-men-high.html

1•PaulHoule•13m ago•0 comments

France targets Australia-style social media ban for children next year

https://www.theguardian.com/world/2025/dec/31/france-plans-social-media-ban-for-under-15s-from-se...

2•belter•14m ago•0 comments

Reflections on 2025

https://samuelalbanie.substack.com/p/reflections-on-2025

1•mrry•15m ago•0 comments

Bayesian Geometry of Transformer Attention

https://arxiv.org/abs/2512.22471

1•brandonb•16m ago•0 comments

Multimodal Search with SigLIP and RRF

https://mixpeek.com/blog/visual-search-rrf

1•Beefin•17m ago•0 comments

My trucks sinusoidal, slowly decreasing gas mileage over the past ~7.5 years

https://old.reddit.com/r/dataisbeautiful/comments/1pynvwq/oc_my_trucks_sinusoidal_slowly_decreasi...

2•voisin•18m ago•0 comments

Ask HN: How to transition into AI career with limited opportunities?

1•mattfrommars•18m ago•0 comments

Deterministic AI

https://powerfulpython.com/blog/deterministic-ai/

1•redsymbol•19m ago•0 comments

Why Are These Sea Urchins Sporting Cowboy and Viking Hats?

https://www.newsweek.com/sea-urchin-hats-saltwater-aquarium-cowboy-viking-top-hat-3d-printing-150...

1•rbanffy•19m ago•0 comments

Show HN: Running Analytics on 22 GB of Hacker News in SQLite

https://philippdubach.com/standalone/hackerbook-stats/

1•7777777phil•20m ago•0 comments

Narwhals: Unified DataFrame Functions for Pandas, Polars, and PySpark – CodeCut

https://codecut.ai/unified-dataframe-functions-pandas-polars-pyspark/

2•rbanffy•22m ago•0 comments

The Inner Workings of Python Dataclasses Explained

https://jacobpadilla.com/articles/python-dataclass-internals

1•rbanffy•23m ago•0 comments

I'm in Charge at This Hertz Location, and Buddy, You're Not Getting a Car Today

https://www.mcsweeneys.net/articles/im-in-charge-at-this-hertz-location-and-buddy-youre-not-getti...

2•JumpCrisscross•24m ago•1 comments

Genuary 2026: 31 daily creative coding prompts

https://genuary.art/prompts

1•tripzilch•28m ago•1 comments

DNA storage system can fit 10B songs in a liter of liquid

https://www.livescience.com/technology/computing/this-new-dna-storage-system-can-fit-10-billion-s...

1•aburan28•28m ago•0 comments

Drugmakers raise US prices on 350 medicines despite pressure

https://www.reuters.com/business/healthcare-pharmaceuticals/drugmakers-raise-us-prices-350-medici...

6•JumpCrisscross•29m ago•1 comments

Show HN: Zedis – A Native Redis GUI Built with Rust and GPUI

https://github.com/vicanso/zedis

1•vicanso•32m ago•1 comments

TTFB doesn't mean what you think it means

https://calendar.perfplanet.com/2025/ttfb-doesnt-mean-what-you-think-it-means/

2•mostlystatic•34m ago•0 comments

Show HN: AI back end with memory on Azure and context builder

https://github.com/dokuczacz/OmniFlowBeta

1•dokuczacz•35m ago•0 comments

Boston Went Big on Luxury Condos. The Buyers Didn't Show Up

https://www.wsj.com/real-estate/luxury-homes/boston-luxury-condo-sales-11e356a7

4•JumpCrisscross•37m ago•1 comments

Zero-Code Instrumentation of an Envoy TCP Proxy Using eBPF

https://sergiocipriano.com/beyla-envoy.html

10•sergiocipriano•37m ago•1 comments

DevOps Holiday Emergency Checklist

https://ondemanddevops.com/resources/devops-holiday-emergency-checklist/

1•DevOpsMaster•37m ago•0 comments

Who has done thermal imaging at home to help improve efficiency?

https://mastodon.energy/@EarthOrgUK/115808215864588156

1•DamonHD•39m ago•0 comments

Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving

GenAI may create a socioeconomic tipping point through labour displacement

HK's newest anti-scam technology: over-the-counter banking

Book Review: The Math Academy Way

Flops? musée des Arts et Métiers

Russia's disinformation campaign about Bulgaria's transition to the euro

India overtakes Japan as 4th-largest economy, report says

A simple neck scan could detect men at high risk of heart failure

France targets Australia-style social media ban for children next year

Reflections on 2025

Bayesian Geometry of Transformer Attention

Multimodal Search with SigLIP and RRF

My trucks sinusoidal, slowly decreasing gas mileage over the past ~7.5 years

Ask HN: How to transition into AI career with limited opportunities?

Deterministic AI

Why Are These Sea Urchins Sporting Cowboy and Viking Hats?

Show HN: Running Analytics on 22 GB of Hacker News in SQLite

Narwhals: Unified DataFrame Functions for Pandas, Polars, and PySpark – CodeCut

The Inner Workings of Python Dataclasses Explained

I'm in Charge at This Hertz Location, and Buddy, You're Not Getting a Car Today

Genuary 2026: 31 daily creative coding prompts

DNA storage system can fit 10B songs in a liter of liquid

Drugmakers raise US prices on 350 medicines despite pressure

Show HN: Zedis – A Native Redis GUI Built with Rust and GPUI

TTFB doesn't mean what you think it means

Show HN: AI back end with memory on Azure and context builder

Boston Went Big on Luxury Condos. The Buyers Didn't Show Up

Zero-Code Instrumentation of an Envoy TCP Proxy Using eBPF

DevOps Holiday Emergency Checklist

Who has done thermal imaging at home to help improve efficiency?

Tiny fee on Minneapolis carbon pollution won't do much for the climate

Exposing LLM-Generated Logical Flaws in Reasoning via Automated Theorem Proving

GenAI may create a socioeconomic tipping point through labour displacement

HK's newest anti-scam technology: over-the-counter banking

Book Review: The Math Academy Way

Flops? musée des Arts et Métiers

Russia's disinformation campaign about Bulgaria's transition to the euro

India overtakes Japan as 4th-largest economy, report says

A simple neck scan could detect men at high risk of heart failure

France targets Australia-style social media ban for children next year

Reflections on 2025

Bayesian Geometry of Transformer Attention

Multimodal Search with SigLIP and RRF

My trucks sinusoidal, slowly decreasing gas mileage over the past ~7.5 years

Ask HN: How to transition into AI career with limited opportunities?

Deterministic AI

Why Are These Sea Urchins Sporting Cowboy and Viking Hats?

Show HN: Running Analytics on 22 GB of Hacker News in SQLite

Narwhals: Unified DataFrame Functions for Pandas, Polars, and PySpark – CodeCut

The Inner Workings of Python Dataclasses Explained

I'm in Charge at This Hertz Location, and Buddy, You're Not Getting a Car Today

Genuary 2026: 31 daily creative coding prompts

DNA storage system can fit 10B songs in a liter of liquid

Drugmakers raise US prices on 350 medicines despite pressure

Show HN: Zedis – A Native Redis GUI Built with Rust and GPUI

TTFB doesn't mean what you think it means

Show HN: AI back end with memory on Azure and context builder

Boston Went Big on Luxury Condos. The Buyers Didn't Show Up

Zero-Code Instrumentation of an Envoy TCP Proxy Using eBPF

DevOps Holiday Emergency Checklist

Who has done thermal imaging at home to help improve efficiency?