frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

First Contact – New in Little Snitch Mini 1.8

https://www.obdev.at/blog/first-contact/
1•robenkleene•9h ago

Comments

roscas•9h ago
For Linux you have OpenSnitch https://github.com/evilsocket/opensnitch

This is priceless. Install it, start the service, put it to start at boot.

You can use this in two ways: let it ask for every connection or add some you trust and want to allow forever.

Anyway, one or two days later, you have almost you need allowed and you're already surprise how many programs connect to where.

You really have no idea what "phones" home until you use it.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

https://github.com/JQCTeam/strong-goldbach-semantic-SOL-HOL
1•justdoitookk•30s ago•1 comments

Symbol-Level Editing

https://sysprogs.com/CodeVROOM/documentation/concepts/symboledits/
1•handfuloflight•1m ago•0 comments

WinUI OSS Update: Phased Rollout Toward Open Collaboration

https://github.com/microsoft/microsoft-ui-xaml/discussions/10700
1•ingve•5m ago•0 comments

How to make people give a damn

https://www.joanwestenberg.com/p/how-to-make-people-give-a-damn-92e3af37926932ef
1•sonderotis•5m ago•0 comments

Termagotchi – A terminal-based Tamagotchi simulation written in Go

https://github.com/ezeoleaf/termagotchi
2•ezeoleaf•6m ago•0 comments

Unleashing potential energy in my EV

https://old.reddit.com/r/Physics/comments/1mfcsv4/unleashing_potential_energy_in_my_ev/
2•thunderbong•7m ago•0 comments

Show HN: Valitron – I built an AI that interviews and ranks job applicants

2•valitron•7m ago•0 comments

Meejah/shwim: Peer-to-peer terminal sharing

https://github.com/meejah/shwim
2•aiNohY6g•10m ago•0 comments

You're probably not learning with AI

https://aryas.dev/post/llmstudy
2•bundie•10m ago•0 comments

Thinking in Crypto Security for Cyberpunk Individuals

3•ricecat•12m ago•0 comments

China claims Nvidia built backdoor into H20 chip

https://arstechnica.com/gadgets/2025/07/china-claims-nvidia-built-backdoor-into-h20-chip-designed-for-chinese-market/
2•jonbaer•14m ago•0 comments

Persona vectors: Monitoring and controlling character traits in language models

https://www.anthropic.com/research/persona-vectors
2•handfuloflight•18m ago•0 comments

Primesweeper

https://vole.wtf/primesweeper/
2•zeristor•23m ago•0 comments

C3 Programming Language 0.7.4 Release

https://github.com/c3lang/c3c/releases/tag/v0.7.4
2•Retro_Dev•32m ago•0 comments

Tesla loses Autopilot wrongful death case in $329M verdict

https://arstechnica.com/cars/2025/08/tesla-loses-autopilot-wrongful-death-case-in-329-million-verdict/
3•apparent•35m ago•1 comments

The Quintessential Urban Design of 'Sesame Street'

https://www.nytimes.com/2025/07/28/realestate/sesame-street-design-over-the-years.html
2•_tk_•36m ago•0 comments

Way-secure: A helper to create Wayland security contexts via security_context_v1

https://git.sr.ht/~whynothugo/way-secure
2•harporoeder•45m ago•0 comments

Retrieval Embedding Benchmark (RTEB)

https://huggingface.co/spaces/embedding-benchmark/RTEB
2•fzliu•49m ago•0 comments

Filesystem for syncing notes to your calendar

https://sr.ht/~marcc/agendafs/
2•xrayarx•50m ago•0 comments

Fathers plan legal action to get smartphones banned in England's schools

https://www.theguardian.com/technology/2025/jul/13/fathers-legal-action-smartphone-ban-england-schools
3•PaulHoule•57m ago•0 comments

Valley of Despair

https://jacksonslipock.bearblog.dev/new-post/
3•jacksonslipock•58m ago•1 comments

Show HN: I built a tool to make screenshots 10x better

https://screenshotframe.com
2•melvinzammit•1h ago•0 comments

Which States Lose the Most Money to Cybercrime?

https://www.upwind.io/industry-research/cybercrime-cost-by-state
2•josephjrobison•1h ago•0 comments

Ladybird Browser July Update

https://ladybird.org/newsletter/2025-07-31/
9•net01•1h ago•0 comments

Scientists Are Learning to Rewrite the Code of Life

https://www.nytimes.com/2025/07/31/science/dna-genetics-engineering-microbes.html
2•digital55•1h ago•0 comments

Ranking the 25 Top Venture-Backed Cybersecurity Companies Growing Fast in 2025

https://greenflagdigital.com/research/top-venture-backed-cybersecurity-companies-2025/
2•josephjrobison•1h ago•0 comments

OutRun: A new version of the game Out Run of 1986 for PC using SFML and C++

https://github.com/ZgzInfinity/OutRun
2•rcarmo•1h ago•0 comments

Parallel Programming Models

https://ayushgundawar.me/posts/html/parallel_programming_models.html
2•gundawar•1h ago•0 comments

Langton's Ant

https://haebom.github.io/Langton/
2•haebom•1h ago•0 comments

Terence Tao weighs in on the suspension of UCLA grants

https://mathstodon.xyz/@tao/114956840959338146
7•dargscisyhp•1h ago•0 comments