frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Evaluating the factuality of verifiable claims in long-form text generation

https://aclanthology.org/2024.findings-emnlp.552/
5•gone35•3d ago

Comments

ggm•3h ago
As a non expert, I found this fascinating. They compared mechanistic verification with 3 assessors, and seem to be saying it's at least as good.

They also make their scripting available.

On the whole I'd be more interested in how they rank the various consumer services (grok especially) for "truthiness" but perhaps laying the groundwork by establishing how mechanistic verification performs, is a necessary precursor.

Essay writers beware! Those cites are going to be more checked than before.

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

https://github.com/jackjackbits/bitchat
244•ananddtyagi•6h ago•113 comments

I extracted the safety filters from Apple Intelligence models

https://github.com/BlueFalconHD/apple_generative_model_safety_decrypted
324•BlueFalconHD•11h ago•204 comments

Intel's Lion Cove P-Core and Gaming Workloads

https://chipsandcheese.com/p/intels-lion-cove-p-core-and-gaming
153•zdw•8h ago•8 comments

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

https://alpha.lisagui.com/
314•ayaros•12h ago•103 comments

Building the Rust Compiler with GCC

https://fractalfir.github.io/generated_html/cg_gcc_bootstrap.html
143•todsacerdoti•9h ago•17 comments

The first time I was almost fired from Apple

https://www.engineersneedart.com/blog/almostfired/almostfired.html
165•chmaynard•2d ago•51 comments

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI

https://github.com/ZaneH/piano-trainer
23•FinalDestiny•2d ago•2 comments

A non-anthropomorphized view of LLMs

http://addxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of-llms.html
109•zdw•8h ago•107 comments

Neanderthals operated prehistoric “fat factory” on German lakeshore

https://archaeologymag.com/2025/07/neanderthals-operated-fat-factory-125000-years-ago/
21•hilux•3d ago•0 comments

Crypto 101 – Introductory course on cryptography

https://www.crypto101.io/
119•pona-a•9h ago•9 comments

High Performance Image Sensor Processing Using FPGAs [pdf]

https://oda.uni-obuda.hu/bitstream/handle/20.500.14044/10350/Gabor_S_Becker_ertekezes.pdf
24•teleforce•4h ago•1 comments

Swedish Campground (2004)

https://www.folklore.org/Swedish_Campground.html
76•CharlesW•7h ago•15 comments

Nobody has a personality anymore: we are products with labels

https://www.freyaindia.co.uk/p/nobody-has-a-personality-anymore
349•drankl•8h ago•257 comments

I Ported SAP to a 1976 CPU. It Wasn't That Slow

https://github.com/oisee/zvdb-z80/blob/master/ZVDB-Z80-ABAP.md
4•weinzierl•1h ago•0 comments

Why English doesn't use accents

https://www.deadlanguagesociety.com/p/why-english-doesnt-use-accents
91•sandbach•9h ago•103 comments

Opencode: AI coding agent, built for the terminal

https://github.com/sst/opencode
180•indigodaddy•13h ago•42 comments

There's a COMPUTER inside my DS flashcart [video]

https://www.youtube.com/watch?v=uq0pJmd7GAA
50•surprisetalk•6h ago•8 comments

Async Queue – One of my favorite programming interview questions

https://davidgomes.com/async-queue-interview-ai/
109•davidgomes•14h ago•104 comments

Thesis: Interesting work is less amenable to the use of AI

https://remark.ing/rob/rob/Thesis-interesting-work-ie
41•koch•9h ago•15 comments

LLMs should not replace therapists

https://arxiv.org/abs/2504.18412
63•layer8•9h ago•82 comments

Get the location of the ISS using DNS

https://shkspr.mobi/blog/2025/07/get-the-location-of-the-iss-using-dns/
279•8organicbits•18h ago•77 comments

Backlog.md – Markdown‑native Task Manager and Kanban visualizer for any Git repo

https://github.com/MrLesk/Backlog.md
127•mrlesk•10h ago•29 comments

Functions Are Vectors (2023)

https://thenumb.at/Functions-are-Vectors/
178•azeemba•15h ago•87 comments

Show HN: A Language Server Implementation for SystemD Unit Files

https://github.com/JFryy/systemd-lsp
27•arandomhuman•5h ago•11 comments

Uncommon Uses of Python in Commonly Used Libraries (2022)

https://eugeneyan.com/writing/uncommon-python/
12•sebg•3d ago•2 comments

I don't think AGI is right around the corner

https://www.dwarkesh.com/p/timelines-june-2025
257•mooreds•10h ago•284 comments

Jane Street barred from Indian markets as regulator freezes $566M

https://www.cnbc.com/2025/07/04/indian-regulator-bars-us-trading-firm-jane-street-from-accessing-securities-market.html
394•bwfan123•16h ago•221 comments

The Era of Full Stack Chip Designers

https://chipinsights.substack.com/p/the-era-of-full-stack-chip-designers
8•bharathw30•3h ago•1 comments

Show HN: Modernized file manager and program manager from Windows 3.x

https://github.com/brianluft/heirloom
22•electroly•6h ago•3 comments

Lessons from creating my first text adventure

https://entropicthoughts.com/lessons-from-creating-first-text-adventure
52•kqr•2d ago•7 comments