frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Formally verified AES-XTS: The first AES algorithm to join s2n-bignum

https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum
1•ankitg12•40m ago

Clicks Communicator Companion Phone

https://clicks.tech/communicator
1•gitowiec•40s ago•0 comments

Social media bans are not the answer to protect young people's mental health

https://theconversation.com/can-social-media-bans-protect-young-peoples-mental-health-early-resea...
1•mdp2021•1m ago•1 comments

"Tame" boar and deer are instinctively adapting to the wolf in the Netherlands

https://nos.nl/video/2635315-wildcamera-s-tonen-hoe-zwijnen-en-herten-zich-aanpassen-aan-de-wolf
1•felipevb•3m ago•0 comments

List of Vaporware

https://en.wikipedia.org/wiki/List_of_vaporware
1•geox•5m ago•0 comments

Show HN: Claude Code, deploy using thevibehosting.com == Your app on root Linux

https://thevibehosting.com/
1•ladahrbacek•7m ago•1 comments

Directionally correct bars, a concerning new trend

https://www.junkcharts.com/directionally-correct-bars/
1•theanonymousone•8m ago•0 comments

Is MCP becoming the common foundation of smart, decentralised search?

https://contextetech.com/en/articles/mcp-protocol-smart-decentralised-search
1•contextetech•10m ago•0 comments

Getting Canceled [video]

https://www.youtube.com/watch?v=5zIOfBLQ3U4
1•mpweiher•11m ago•0 comments

No Map: a browser game you walk blind, one tap at a time

https://wawa-nomap.surge.sh
1•ethan_playtest•13m ago•0 comments

Replit is no longer working with Anthropic, CEO says

https://techcrunch.com/2026/10/16/replit-is-no-longer-working-with-anthropic-ceo-says/
1•dgellow•15m ago•0 comments

CobaltC and Rust

https://strawberry9.github.io/the-wrong-memory/Appendix_06.html#rust
1•SilentLambda•17m ago•0 comments

Show HN: CiteLadder – open-source AI search visibility tracker

https://github.com/abhij1306/CiteLadder
1•abhij1306•22m ago•0 comments

If it hurts, do it more

https://jnsgr.uk/2026/09/if-it-hurts-do-it-more
1•Momo_isk•22m ago•0 comments

Chinese phones with built-in malware sold in Africa

https://www.bbc.com/news/technology-53903436
2•sehw•23m ago•0 comments

Aviation superfan installs an Airbus A380 suite in his apartment

https://www.cnn.com/travel/aviation-superfan-a380-etihad-residence-suite
1•Geekette•23m ago•0 comments

Ask HN: Local AI product situation

1•ankurdhama•25m ago•0 comments

Neuralwatt says cache misses can use up to 140% more inference energy

https://runtimewire.com/article/neuralwatt-harness-cache-energy-chad-gibson
1•runtimewire•25m ago•0 comments

People Were Always Shitty

https://notoriousbfg.com/people-were-always-shitty/
1•trwhite•28m ago•0 comments

Show HN: I turned my kids' old Yoto Player into an Audiobookshelf player

https://github.com/tomekent/yotwo
1•beret4breakfast•28m ago•0 comments

Szczecin Paprikash

https://en.wikipedia.org/wiki/Szczecin_paprikash
1•jxub•30m ago•0 comments

DeepSeek-v4.1-Flash-1017 is here

https://twitter.com/deepseek_ai/status/2111375640717033777
7•theanonymousone•32m ago•0 comments

DeepSeek: DeepSeek v4.1 Flash 1017

https://openrouter.ai/deepseek/deepseek-v4.1-flash-1017
18•theanonymousone•34m ago•0 comments

DeepSeek users report a possible v4.1-Flash-1017 refresh across its API

https://runtimewire.com/article/deepseek-users-report-a-possible-v4-1-flash-1017-refresh-across-i...
1•runtimewire•35m ago•0 comments

Galois Finite Fields and the Advanced Encryption Standard (AES)

https://www.cs.uaf.edu/2015/spring/cs463/lecture/03_23_AES.html
1•ankitg12•37m ago•0 comments

Formally verified AES-XTS: The first AES algorithm to join s2n-bignum

https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum
1•ankitg12•40m ago•0 comments

Show HN: CADrs – onshape rust clone

https://github.com/rvdende/cadrs
1•rouanvde•42m ago•1 comments

Geographical Fun: Being Humourous Outlines of Various Countries (1868)

https://publicdomainreview.org/collection/geographical-fun-being-humourous-outlines-of-various-co...
1•Thevet•47m ago•0 comments

DeepSeek-v4.1-Flash-1017

https://huggingface.co/deepseek-ai/DeepSeek-V4.1-Flash-1017
54•theykk•50m ago•17 comments

Show HN: Sys2txt – transcribe system audio to text in the CLI with a local LLM

https://Joe-Heffer.github.io/sys2txt/
2•joeheffer•57m ago•0 comments

Meta to scrape content from business customers for model training

https://www.theregister.com/ai-and-ml/2026/10/16/meta-grants-itself-right-to-scrape-content-from-...
2•nephihaha•57m ago•0 comments