frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)

https://philpapers.org/rec/SCHTIC-17
1•ICBTheory•1m ago•0 comments

Unfinished infrastructure, wasted funds: Colombia's 'white elephants' exposed

https://www.france24.com/en/tv-shows/the-observers/20251106-colombia-white-elephants-unfinished-i...
1•PaulHoule•1m ago•0 comments

We cut multi-turn AI agent cost/latency by ~80–90% with one small change

https://www.oneshotcodegen.com/blog
2•weebhek•2m ago•1 comments

PG_AI_Query: AI-powered SQL generation and query analysis for PostgreSQL

https://www.postgresql.org/about/news/pg_ai_query-ai-powered-sql-generation-query-analysis-for-po...
1•thunderbong•3m ago•0 comments

Vibe coding is not the same as AI-Assisted engineering

https://medium.com/@addyosmani/vibe-coding-is-not-the-same-as-ai-assisted-engineering-3f81088d5b98
1•speckx•3m ago•0 comments

How do you manage user feedback and early adopter input?

1•VladCovaci•5m ago•0 comments

Kling O1, the first unified multi-modal video foundation model

https://www.klingo1.com/
2•chengzeyi•6m ago•0 comments

AWS and Google build a fix for multi-cloud barriers they said didn't exist

https://www.theregister.com/2025/12/01/aws_google_cloud_interconnect/
1•raw_anon_1111•7m ago•0 comments

Chatbot with Lazy Mode (LLMParty)

https://llmparty.pixeletes.com/experiments/chatbot
1•victornomad•8m ago•1 comments

YouTube Transcript

https://videotranscript.app
1•leolula•11m ago•0 comments

Deep Metric Learning: A (Long) Survey

https://hav4ik.github.io/articles/deep-metric-learning-survey/
1•rzk•11m ago•0 comments

China's AJX-002 Xluuv and the Geopolitics of Undersea Power

https://www.spacewar.com/reports/Ghosts_of_the_Deep_Chinas_AJX_002_XLUUV_and_the_Geopolitics_of_U...
1•everybodyknows•11m ago•0 comments

In the Middle

https://meetinthemiddle.site/
1•volpiv•13m ago•1 comments

I turned ChatGPT/Claude web sessions into a local REST API

1•star-173•14m ago•1 comments

What History's Fallen Societies Have in Common

https://www.theatlantic.com/books/2025/12/goliaths-curse-luke-kemp-book-review/685041/
2•robtherobber•15m ago•0 comments

WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf]

https://obr.uk/docs/dlm_uploads/01122025-Investigation-into-November-2025-EFO-publication-error.pdf
10•robtaylor•16m ago•2 comments

Who the Hell Is Using Facebook Dating?

https://www.wired.com/story/who-the-hell-is-actually-using-facebook-dating/
2•01-_-•17m ago•0 comments

Shopify Outage

https://shopstatus.shopifyapps.com/
1•ramon156•17m ago•0 comments

Show HN: LogCost – map logging cost to specific log lines

https://github.com/ubermorgenland/LogCost
1•random_round•17m ago•0 comments

Are We Trusting ChatGPT-5 with Our Mental Health

https://comuniq.xyz/post?t=567
1•01-_-•17m ago•0 comments

The Next Frontier in AI Isn't More Data

https://spectrum.ieee.org/reinforcement-learning-environments
1•Brajeshwar•18m ago•0 comments

DeepSeek-v3.2: Pushing the Frontier of Open Large Language Models

https://cas-bridge.xethub.hf.co/xet-bridge-us/692cfec93b25b81d09307b94/2d0aa38511b9df084d12a00fe0...
1•mzl•19m ago•0 comments

Shopify Admin Down

https://shopstatus.shopifyapps.com/4a166c-52/incidents
1•gsck•19m ago•0 comments

India orders smartphone makers to preload state-owned cyber safety app

https://www.reuters.com/sustainability/boards-policy-regulation/india-orders-mobile-phones-preloa...
5•Brajeshwar•20m ago•0 comments

Is AI Eating the World?

https://pdub.click/2512019
2•7777777phil•23m ago•2 comments

Top Gun Traders: Stock Bets and Crypto Culture Take over the Military

https://www.wsj.com/finance/stock-trading-military-crypto-culture-75fb3c59
1•thm•23m ago•0 comments

Show HN: I built a full-stack Fin Serv Rust app with Opus

https://www.shuttle.dev/blog/2025/11/26/build-rust-app-claude-opus-4.5
1•jvcor13•24m ago•0 comments

Tim Ferriss Promised Freedom. Indie Hackers Are Selling Shovels

https://hugo.writizzy.com/p/tim-ferriss-promised-freedom-indie-hackers-are-selling-shovels
1•hlassiege•25m ago•0 comments

Runway Gen-4.5: A new frontier for video generation

https://runwayml.com/research/introducing-runway-gen-4.5
2•meetpateltech•25m ago•0 comments

Netflix Kills Casting from Its Mobile App to Most Modern TVs

https://www.macrumors.com/2025/12/01/netflix-kills-casting-from-mobile-app-to-tvs/
3•Brajeshwar•27m ago•0 comments
Open in hackernews

Gitara: A small, local Git agent

https://github.com/distil-labs/distil-gitara
5•maciejgryka•42m ago

Comments

maciejgryka•41m ago
We've been experimenting with small models for structured tool calling tasks and just released gitara. Both the 3B and 1B models turn natural language instructions into valid git commands and run fully locally through Ollama.

Highlights:

1/ Same accuracy as a 120B GPT-OSS 2/ Runs on your laptop using Ollama 3/ <1.5 seconds response time

Examples: - “undo last commit but keep changes” → `git reset --soft HEAD~1` - “what is in the latest stash, show diff” → `git stash show --patch` - “show 8 commits as a graph” → `git log -n 8 --graph`

The repo includes the code, tool schema, examples, and evaluation method.

p2detar•39m ago
Link's dead.
maciejgryka•24m ago
Huh works fine for me, even when not logged in to Github. Can you try again?
p2detar•14m ago
Now it's fine. It was 404 before, strange.