frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

I scanned all of GitHub's "oops commits" for leaked secrets

https://trufflesecurity.com/blog/guest-post-how-i-scanned-all-of-github-s-oops-commits-for-leaked-secrets
91•elza_1111•1h ago•30 comments

Fei-Fei Li: Spatial intelligence is the next frontier in AI [video]

https://www.youtube.com/watch?v=_PioN-CpOP0
82•sandslash•1d ago•28 comments

Astronomers discover 3I/ATLAS – Third interstellar object to visit Solar System

https://www.abc.net.au/news/science/2025-07-03/3i-atlas-a11pl3z-interstellar-object-in-our-solar-system/105489180
93•gammarator•4h ago•47 comments

Next month, saved passwords will no longer be in Microsoft’s Authenticator app

https://www.cnet.com/tech/microsoft-will-delete-your-passwords-in-one-month-do-this-asap/
78•ColinWright•2d ago•95 comments

Whole-genome ancestry of an Old Kingdom Egyptian

https://www.nature.com/articles/s41586-025-09195-5
90•A_D_E_P_T•7h ago•44 comments

Trans-Taiga Road (2004)

https://www.jamesbayroad.com/ttr/index.html
100•jason_pomerleau•7h ago•38 comments

Exploiting the IKKO Activebuds “AI powered” earbuds (2024)

https://blog.mgdproductions.com/ikko-activebuds/
497•ajdude•18h ago•189 comments

Nano-engineered thermoelectrics enable scalable, compressor-free cooling

https://www.jhuapl.edu/news/news-releases/250521-apl-thermoelectrics-enable-compressor-free-cooling
59•mcswell•2d ago•28 comments

That XOR Trick (2020)

https://florian.github.io//xor-trick/
109•hundredwatt•2d ago•58 comments

Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup

https://journals.aps.org/prx/abstract/10.1103/PhysRevX.15.021082
13•boilerupnc•3h ago•1 comments

ASCIIMoon: The moon's phase live in ASCII art

https://asciimoon.com/
196•zayat•1d ago•69 comments

Conversations with a hit man about a notorious cold case

https://magazine.atavist.com/confessions-of-a-hit-man-larry-thompson-jim-leslie-george-dartois-louisiana-shreveport-cold-case/
55•gmays•1d ago•3 comments

There's no such thing as a tree (phylogenetically) (2021)

https://eukaryotewritesblog.com/2021/05/02/theres-no-such-thing-as-a-tree/
21•afunk•2d ago•5 comments

Gmailtail – Command-line tool to monitor Gmail messages and output them as JSON

https://github.com/c4pt0r/gmailtail
60•c4pt0r•8h ago•10 comments

Show HN: CSS generator for a high-def glass effect

https://glass3d.dev/
289•kris-kay•16h ago•85 comments

Couchers is officially out of beta

https://couchers.org/blog/2025/07/01/releasing-couchers-v1
186•laurentlb•14h ago•78 comments

AI note takers are flooding Zoom calls as workers opt to skip meetings

https://www.washingtonpost.com/technology/2025/07/02/ai-note-takers-meetings-bots/
154•tysone•14h ago•164 comments

Vitamin C Boosts Epidermal Growth via DNA Demethylation

https://www.jidonline.org/article/S0022-202X(25)00416-6/fulltext
86•gnabgib•11h ago•29 comments

Features of D That I Love

https://bradley.chatha.dev/blog/dlang-propaganda/features-of-d-that-i-love/
122•vips7L•15h ago•101 comments

A Higgs-Bugson in the Linux Kernel

https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/
107•Ne02ptzero•13h ago•12 comments

What to build instead of AI agents

https://decodingml.substack.com/p/stop-building-ai-agents
159•giuliomagnifico•8h ago•94 comments

The uncertain future of coding careers and why I'm still hopeful

https://jonmagic.com/posts/the-uncertain-future-of-coding-careers-and-why-im-still-hopeful/
28•mooreds•6h ago•45 comments

LLMs as Compilers

https://resync-games.com/blog/engineering/llms-as-compiler
22•kadhirvelm•6h ago•31 comments

Websites hosting major US climate reports taken down

https://apnews.com/article/climate-change-national-assessment-nasa-white-house-057cec699caef90832d8b10f21a6ffe8
335•geox•11h ago•164 comments

Serenading Cells with Audible Sound Alters Gene Activity

https://www.scientificamerican.com/article/cells-can-hear-sounds-and-respond-genetically/
6•Bluestein•2d ago•0 comments

The Evolution of Caching Libraries in Go

https://maypok86.github.io/otter/blog/cache-evolution/
101•maypok86•3d ago•24 comments

Sony's Mark Cerny Has Worked on "Big Chunks of RDNA 5" with AMD

https://overclock3d.net/news/gpu-displays/sonys-mark-cerny-has-worked-on-big-chunks-of-rdna-5-with-amd/
85•ZenithExtreme•16h ago•89 comments

Gene therapy restored hearing in deaf patients

https://news.ki.se/gene-therapy-restored-hearing-in-deaf-patients
327•justacrow•17h ago•78 comments

Physicists start to pin down how stars forge heavy atoms

https://www.quantamagazine.org/physicists-start-to-pin-down-how-stars-forge-heavy-atoms-20250702/
58•jnord•10h ago•3 comments

The Zen of Quakerism (2016)

https://www.friendsjournal.org/the-zen-of-quakerism/
103•surprisetalk•3d ago•82 comments
Open in hackernews

Efficient set-membership filters and dictionaries based on SAT

https://github.com/NationalSecurityAgency/XORSATFilter
39•keepamovin•3d ago

Comments

convolvatron•13h ago
the reference in the repo is paywalled (US$ 30!). I did find this https://arxiv.org/pdf/1912.08258 which may or may not be related. but what I found interesting is that the construction looks alot like perfect hashes
joe_the_user•11h ago
They list two references I think. The first is from the Journal Of Satifiability. The link appears empty to my browser but this link leads to an article of the same authros and the same journal; https://www.cs.uky.edu/~marek/papers.dir/11.dir/JSAT8_10_Wea...

The second paper was from a conference originally and found this link to it through Google Scholar (also listed in another comment); http://t-news.cn/Floc2018/FLoC2018-pages/proceedings_paper_4...

inasio•12h ago
Membership filters are very efficient filters that guarantee no false negatives, but false positives are possible (how much and how many can be adjusted based on the dataset and filter's parameters). An obvious application could something like checking whether passengers are in a no-fly list, where false-positives could be handled by further checks. As far as I know cuckoo filters [0] are the state of the art for this, but per this work in principle you could make very efficient with using a SAT (or XORSAT) solver that could generate many feasible solutions out of random SAT problems.

- Google scholar pointed out this link to get a pdf for one of the papers cited in the repo [1]

[0] https://en.wikipedia.org/wiki/Cuckoo_filter

[1] http://t-news.cn/Floc2018/FLoC2018-pages/proceedings_paper_4...

thaumasiotes•9h ago
> An obvious application could something like checking whether passengers are in a no-fly list, where false-positives could be handled by further checks.

Why is this an obvious application? How does this application benefit from a "very efficient" first pass? Just the boarding process on an airplane takes 20-30 minutes; you can easily check the entire passenger manifest in an error-free way in much less time than that. People have to buy their tickets before the boarding process begins.

jauntywundrkind•6h ago
If 99% of people aren't on the list, and 1% are, if your check is super fast but makes 1% false positives, you still end up having to only do a full check on 2%. Which could be a huge huge huge win computationally.

Your post is really weird to me, talking about boarding times? You start skeptical of the example & I'm confused how you think this is anything but a fine example. Ultimately there's some service running in the cloud somewhere that needs to have checks run against it. 2.9m people fly a day in the US, and whether the servers doing that work can do it efficiently or whether they do it in a dogsbit bad manner seems like an obvious concern to me? https://www.faa.gov/air_traffic/by_the_numbers

I suspect the actual usage for this is for much broader higher traffic systems. For things that watch sizable chunks of the internet for patterns and traffic. But checking passengers against. I fly lists sounds like a pretty reasonable example use to me, and the criticism seems off base & weird in a number of dimensions that straight up don't make sense.

FridgeSeal•6h ago
Assuming the airport runs from 6am to 11pm, 2.9m people a day works out to be about ~47 reqs/second. Which is not terribly much.

Even if we check them at both ends, and effectively double the load, thats only ~100reqs/second. A single machine would happily handle that.

thaumasiotes•1h ago
> Assuming the airport runs from 6am to 11pm

That's a strange assumption. The airports that have significant traffic are operating 24 hours.

Under the assumption that airports close between 11 and 6, there would be no such thing as a redeye flight.

gopalv•12h ago
My favourite part of these research publications from the US Gov is the licensing.

All of the USDS work is published with "No Copyright".

The SAT filters however still do not support incremental building, which is one of bloom filters fun features when you use them in distributed databases (you can build N of them and then OR bloom filters to get a single one).

I imagine it will still be incredibly useful where you can iterate over them and do OR the old fashioned way, but at higher accuracy for the same size.