fp.

Taming PostgreSQL GUC "Extra" Data

https://clickhouse.com/blog/taming-postgres-guc-extra-data

1•saisrirampur•1m ago•0 comments

IMProofBench open problem solved by GPT-5

https://leanprover.zulipchat.com/#narrow/channel/219941-Machine-Learning-for-Theorem-Proving/topi...

1•marojejian•4m ago•1 comments

The Automation Charade (2018)

https://logicmag.io/failure/the-automation-charade/

1•measurablefunc•4m ago•0 comments

Sk HN: Where would you use a "digital guestbook" that supports paid messages?

https://thewalll.com

1•rapgof•5m ago•1 comments

The boomer-doomer divide within OpenAI, explained by Karen Hao

https://bigthinkmedia.substack.com/p/the-boomer-doomer-divide-within-openai

1•pseudolus•6m ago•0 comments

StikDebug Removed from App Store, Developer Account Terminated

https://twitter.com/stephendev0/status/2001734340389024180

2•tech234a•7m ago•1 comments

Startup beat Big Tech on AI interpretability – new method reveals model circuits

https://www.corti.ai/stories/gim-a-new-standard-for-mechanistic-interpretability

1•haileybayliss•9m ago•1 comments

Tacit – short films about tacit knowledge from Stripe Press

https://www.stripe.press/tacit

1•ChrisArchitect•12m ago•1 comments

The Universal Law Behind Market Price Swings

https://physics.aps.org/articles/v18/196

1•bikenaga•12m ago•1 comments

Screen Takeover Attack in AI Tool Acquired for $1B

https://www.promptarmor.com/resources/screen-takeover-attack-in-ai-tool-acquired-for-1b

7•vollmarj•15m ago•0 comments

Show HN: A native iOS client for managing Cloudflare

https://apps.apple.com/us/app/clouder-for-cloudflare/id6755757771

1•Jeramo•16m ago•0 comments

Treat Emacs as an Elisp Runtime Using Eask

https://www.jcs-profile.com/posts/editor/elisp-runtime/

2•Jen-Chieh•16m ago•0 comments

Did maintainers abandon your critical open-source tool? There's a lifeline

https://www.zdnet.com/article/chainguard-emeritoss-support-for-abandoned-open-source-programs/

2•CrankyBear•18m ago•0 comments

Interactive Fluid Typography

https://electricmagicfactory.com/articles/interactive-fluid-typography/

7•list•19m ago•0 comments

Snowflake Postgres Is Now Available in Public Preview

https://www.snowflake.com/en/engineering-blog/postgres-public-preview/

3•kermatt•21m ago•0 comments

Dijkstra: The strengths of the academic enterprise (1994)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD11xx/EWD1175.html

1•milanhbs•21m ago•0 comments

Why Socrates Hated the Ancient Greeks' Version of Ted Talks

https://medium.com/@gp2030/plato-part-2-socrates-43777cbaa61b

1•light_triad•22m ago•0 comments

We can't measure LLM reasoning because LLMs don't inhabit a world

1•kimounbo•23m ago•0 comments

A faster path to container images in Bazel

https://www.tweag.io/blog/2025-12-18-rules_img/

1•malt3•25m ago•0 comments

Just Use AI

https://justfuckinguseai.com/

2•kyrylo•25m ago•0 comments

Is It a Joke?

https://novalis.org/blog/2025-11-06-is-it-a-joke.html

1•luu•27m ago•0 comments

T5Gemma 2: The next generation of encoder-decoder models

https://blog.google/technology/developers/t5gemma-2/

2•milomg•27m ago•0 comments

Move Expressions (Part of Ergonomic RC for Rust)

https://smallcultfollowing.com/babysteps/blog/2025/11/21/move-expressions/

1•stmw•28m ago•0 comments

Zero Inflation

https://thetontineengine.substack.com/p/make-money-hard-again

2•rwmj•28m ago•0 comments

2026 Demo Day Dates

https://www.ycombinator.com/blog/2026-demo-days/

1•todsacerdoti•30m ago•0 comments

$1,500 robot cooks dinner while I work

https://www.theverge.com/tech/840599/posha-robot-chef-review

3•bookofjoe•31m ago•2 comments

'Mars camp': The extreme adventure that wants to turn tourists into astronauts

https://www.cnn.com/2025/10/23/travel/mongolias-mars-camp-tourist-astronauts-hnk-spc

1•breve•31m ago•0 comments

Our Series B: $330M raised at $6.6B valuation

https://age-of-the-builder.lovable.app/

1•taubek•32m ago•0 comments

How do you find early users for an MVP dev tool?

1•yashwantphogat•33m ago•0 comments

President Orders Cannabis Rules Relaxed, Easing Research

https://www.nytimes.com/live/2025/12/18/us/trump-news

5•thelastgallon•33m ago•2 comments

Open in hackernews

Microsoft kills IntelliCode in favor of the paid Copilot

https://visualstudiomagazine.com/articles/2025/12/17/microsoft-quietly-kills-intellicode-as-ai-strategy-shifts-to-copilot.aspx

41•todsacerdoti•10h ago

Comments

rkagerer•6h ago

Article notes IntelliSense remains, and for now IntelliCode remains for Visual Studio (but is axed in VSCode).

pjmlp•6h ago

Just like many .NET features will never leave VS, into C# DevKit.

It is incredible how upper management messes up the great work from .NET team.

Do you remember the hot code removal drama? Only backpedaled thanks to Hanselman and others fighting upper management for getting it back.

sunaookami•6h ago

Discussion from 2 days ago, 215 points, 168 comments: https://news.ycombinator.com/item?id=46286383

stuaxo•5h ago

That sounds like a useful extension to use local LLMs, I guess equivalents exist, or the licensing on this is such that it could get forked.