frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formally verifying agent-written full-stack apps with Proof-Driven Development

https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-app...
1•matt_d•26s ago•0 comments

What They Don't Tell You About Autoimmune Disorders

https://www.midwesterndoctor.com/p/what-they-dont-tell-you-about-autoimmune
1•bilsbie•52s ago•0 comments

A Boolean PII Flag Is Not Enough

https://kore-nordmann.de/blog/a-boolean-pii-flag-is-not-enough.html
1•birdculture•1m ago•0 comments

Show HN: HackerRepos – HackerTube for repos mentioned on HN

https://HackerRepos.fyi/
1•mmvvaa•7m ago•1 comments

Data Science Weekly – Issue 676

https://datascienceweekly.substack.com/p/data-science-weekly-issue-676
1•sebg•9m ago•0 comments

HN movies picks as a Stremio addon

https://hn-stremio.alen.ro/
1•alentodorov•11m ago•0 comments

Founder to Investor Map: South Africa

https://substack.com/profile/227905418-tiru-naidu/note/c-379902591
1•tirumalanrao•12m ago•0 comments

Ads in popular apps give police a powerful tool to spy on users

https://www.bloomberg.com/features/2026-police-phone-tracking-advertising-tech/
3•quantified•13m ago•1 comments

Does a team of coding agents beat one agent?

https://programmingtheloop.com/experiments/swarm-tax/
1•meabs•15m ago•0 comments

Cuban: Facebook knowingly runs AI deepfake scam ads; docs say $16B fraud revenue

https://finance.yahoo.com/technology/ai/articles/mark-cuban-says-facebook-knowingly-213000020.html
5•randycupertino•15m ago•0 comments

Radar – offline peer-to-peer chat and live situational map for Android

https://www.radar-chat.app
1•cmsdloma•17m ago•0 comments

Data scientist David Shor on how his party won a historic landslide

https://www.vox.com/politics/509476/midterm-elections-2026-trump-democrats-david-shor-iran
2•mmooss•18m ago•1 comments

Why the search for particle dark matter is hopeless, part 2

https://tritonstation.com/2026/11/05/why-the-search-for-particle-dark-matter-is-really-hopeless-p...
1•MattPalmer1086•19m ago•0 comments

Rename the World

https://renamethe.world/
1•sas222•19m ago•0 comments

Show HN: Open-world text adventure played through AI agents

https://eremoterra.com/
1•pontes•21m ago•0 comments

Mid-Air Encounter: F-16 Rams Plane Near Mar-a-Lago [video]

https://www.youtube.com/watch?v=5Y7lTEUA2hk
1•Bender•21m ago•0 comments

The Sweet Spot: How One Brain and Micro-Adapters Could Save Open AI

https://operator0x.com/field-notes/smaller-memory-bill/
1•josip208•22m ago•0 comments

Post-AI Computer Science

https://thingspool.net/shards-of-sanity/list.html
1•architsch•23m ago•0 comments

Thursday's $3T tech sell-off, and what it means if you build AI products

https://vithushansylvester.com/writing/the-3-trillion-thursday
1•hacker_hv•24m ago•1 comments

The Personal Stack

https://www.koopuluri.com/personal-stack
1•koopuluri•24m ago•0 comments

What the F**k Has AI Done?

https://whathasaidone.com/
2•JakeSc•25m ago•1 comments

Agentic era leads DB Services company to acquire another DB services company

https://www.enterprisedb.com/press-releases/edb-acquires-altinity-bring-together-two-leading-open...
1•jaitaiwan•27m ago•0 comments

Full-stack verification is the new trend

https://wiki.alcidesfonseca.com/blog/full-stack-verification-is-the-new-trend/
1•matt_d•27m ago•0 comments

The Decline and Fall of Rigor in Advanced Placement

https://www.educationnext.org/the-decline-and-fall-of-rigor-in-advanced-placement/
1•Michelangelo11•30m ago•0 comments

Bluefin Server

https://projectbluefin.io/server/
1•jcastro•30m ago•0 comments

The Tech Bros Who Bet on Fascism Lost. Don't Let the Internet Pay for It

https://www.techdirt.com/2026/11/05/the-tech-bros-who-bet-on-fascism-lost-dont-let-the-internet-p...
14•emschwartz•32m ago•0 comments

How two engineer side projects became the agent taking action inside Dropbox

https://dropbox.tech/machine-learning/how-two-engineer-side-projects-became-the-agent-taking-acti...
2•chengesu•32m ago•1 comments

Sniffing out the link between odor and disease

https://knowablemagazine.org/content/article/health-disease/2026/disease-sniffing-tests-get-close...
1•gmays•33m ago•0 comments

Republicans Learn X Is the Echo Chamber

https://www.404media.co/republicans-learn-x-is-an-echo-chamber/
14•ceejayoz•33m ago•1 comments

The New York Times sues Brave web browser for AI scraping and bypassing paywalls

https://www.theverge.com/tech/1024588/brave-lawsuit-ai-scraping-new-york-times
3•CharlesW•33m ago•0 comments
Open in hackernews

Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ

https://www.youtube.com/live/uul6hZ5NXC8?si=mKxZJy2xAD-rOc3g
44•solarmist•1y ago

Comments

solarmist•1y ago
I'm really hoping Modular.ai takes off. GPU programming seems like a nightmare, I'm not surprised they felt the need to build an entire new language to tackle that bog.
mirsadm•1y ago
GPU programming isn't really that bad. I am a bit skeptical this is the way to solve it. The issue is that details do matter when you're writing stuff on the GPU. How much shared memory are you using? How is it scheduled? Is it better to inline or run multiple passes etc. Halide is the closest I think.
solarmist•1y ago
What are you skeptical of? I believe the problem this is solving is a framework that's not CUDA that allows low level access to the hardware, makes it easy to write kernels, and is not Nvidia only. If you watch the video you can write directly in asm if you need to. You have full control if you want it. But it provides primitives and higher level objects that handle common cases.

I'm a novice in the area, but Chris is well respected in this area and cares a lot of about performance.

pjmlp•1y ago
There are already plenty of languages in CUDA world, that is one reasons it is favoured.

The problem isn't the language, rather how to design the data structures and algorithms for GPUs.

solarmist•1y ago
Not sure I fully understand your comment, but I'm pretty sure the talk addresses exactly that.

The primitives and pre-coded kernels provided by CUDA (it solves for the most common scenarios first and foremost) is what's holding things back and in order to get those algorithms and data structures down to the hardware level you need something flexible that can talk directly to the hardware.

pjmlp•1y ago
C, C++, Fortran, Python JIT from NVidia, plus Haskell, .NET, Java, Futuhark, Julia from third parties, and anything else that can bother to create a backend targeting PTX, NVVM IR, or now cuTile.

The pre-coded kernels help a lot, but you don't have to use them necessarly.

melodyogonna•1y ago
Yes, the problem isn't language, it is the entire stack. I think people focus too much on Mojo while ignoring the actual solution Modular has built, which is MAX. The main idea here is that MAX provides a consistent API for both library authors (e.g vLLM, Ollama) to target, as well as for hardware vendors to integrate with - so similar to LLVM.

Basically, imagine if you can target Cuda, but you don't have to do too much for your inference to also work on other GPU Vendors e.g AMD, Intel, Apple. All with performance matching or surpassing what the hardware vendors themselves can come up with.

Mojo comes into the picture because you can program Max with it, create custom kernels that is JIT compiled to the right vendor code at rumtime.

diabllicseagull•1y ago
It is a noble cause. I've spent ten years of my life using CUDA professionally, outside the AI domain mind you. Most of these years, there was a strong desire to break off of CUDA and the associated Nvidia tax on our customers. But one thing we didn't want was to move from depending on CUDA to depending on another intermediary which would also mean financial drain, like the enterprise licensing these folks want to use. Sadly, open source alternatives weren't fostering much confidence, either with their limited feature coverage or just not knowing if they will be supported in the long term (support for new hardware, fixes, etc.).
pjmlp•1y ago
Also while as language nerd I find Mojo cool, given NVidia's going full speed ahead with Python support in CUDA as announced at GTC 2025, to the point of designing a new IR as basis for their JIT, very few researchers will bother with Mojo.

Also what NVIDIA is doing has full Windows support, while Mojo support still isn't there, other than having to make use of WSL.

melodyogonna•1y ago
Why? Will the new Nvidia Python stuff work on AMD GPU and other non-nvidia accelerators?
pjmlp•1y ago
It still remains to be seen how much that will happen to Mojo and MAX, while most researchers are using CUDA anyway, and best of all, it works on their laptops, which cannot be said for AMD GPU and other non-nvidia accelerators.

Naturally assuming they are using laptops with NVidia GPUs.

catapart•1y ago
My mistake completely, but I thought this was going to be something to do with a new scheme or re-thinking of graphics programming APIs, like Metal, Vulkan or OpenGL. Now I'm kind of bummed that it is what it is, because I got really excited for it to be that other thing. =(
pjmlp•1y ago
That is already taking place with work graphs, and making shader languages more C++ like.
ttoinou•1y ago
Seems like with it you will be able to compile and execute one code on multiple GPU targets though
ashvardanian•1y ago
There is a "hush-hush open secret" between minutes 31 and 33 of the video :)
refulgentis•1y ago
TL;Dr same binary runs on Nvidia and ATI today, but not announced yet
throwaway314155•1y ago
They desperately need to disable whatever noise cancellation they're using on the audio. Keeps cutting out, sounds terrible.
solarmist•1y ago
Yeah, the mic quality was terrible.
hogepodge•1y ago
This was the first time we ran an event in the office with this wireless mic setup. We're definitely aware of the problems, and will have them fixed for the next event.
Archit3ch•1y ago
> Other Accelerators (e.g. Apple Silicon GPUs): free for <= 8 devices

From their license.

It's not obvious what happens when you have >8 users, with one GPU each (typical laptop users).

threecheese•1y ago
This is covered by ARM which they consider CPU, and doesn’t fall into that clause. IOW no restrictions.