┏┓ ┃┃╱╲ in ┃╱╱╲╲ this ╱╱╭╮╲╲ house ▔▏┗┛▕▔ ╱▔▔▔▔▔▔▔▔▔▔╲ RF fields may exceed the FCC general public exposure limit ╱╱┏┳┓╭╮┏┳┓ ╲╲ ▔▏┗┻┛┃┃┗┻┛▕▔

Our team has tracked AI's progress in formal verification for over two years, waiting for a project like this to become practical. That time has now come! Formally verified end-to-end execution of a Linux process running an x86 binary statically linked against glibc.

sick video from mastercam on the carmelite monks in wyoming using 5ax machines to build a gothic monastery imagine rolling up to the shop and your programmer is brother peter thomas piped.video/wLJa410KTsg?is=pun-…

RT @GoToTheBoxPls: I LOVE MY PROUD NATION OF MILWAUKEE

1) What

HAPPENING NOW in downtown Chicago, outside the Chicago Mercantile Exchange, the historic center of onion futures trading

this may well be the single greatest table in the history of computer science

2x engineers: orchestrator going through a list of planners implementers then verifiers and testers 10x engineers: do me this please thanks

What I do think is: you live in a world where machines are outperforming humans on mathematics problems that we’ve fought for years. Do you also think humans just nailed it down the line with our analysis of Module LWE and ECDLP and (already weirdly subexponential) factoring?

“there aren’t any cryptography results” “there aren’t any cryptography results”

Someone else said it better, but everything is square packing 🫠

The only way to co-create subjects with intelligence and consciousness is the old-fashioned one: find a spouse and have babies. The mystery of the family, not toolmaking, is the means to co-creating and educating persons like ourselves. However sophisticated they may be, our tools will only ever be poor, partial imitations of persons.

Quitting my job to day trade sausage egg mcmuffins

I'm sorry but I only trust Honest Achmed's Used Cars and Certificates

New rule if you are unble to with out looking it up explain osi stack and how packet moves from a to b you are no longer allowed to talk about agent swarms or alignment or safety

Interesting/deflating interview on why Americans don't want to build ships with Gary Kim, a Wharton School grad student who has studied US, Chinese, Japanese, & Korean shipyards, formerly a junior officer with US Navy construction units in Asia & a Detroit manufacturing manager

To all “independent evaluators” that may audit my lab (OpenAI), Anthropic, GDM, etc., PLEASE hire researchers with a wide spectrum of expertise and not just “AI safety”. Cybersecurity, bio, child safety, natsec, and various other domains should be well represented so that your audits cover a wider sample of harm/safety. I am quite worried the field is not diverse enough and needs to improve. I am very happy to see forward progress here and I applaud AI leadership across the frontier today. I look forward to working together.

People call me a designer but I am closer to the ham radio people by a huge margin than to designers. So naturally want to represent the interests of ham radio people. Ham radio people are interested in excelling at ham radio things. Therefore, they build things that help them with efficient ham radio operations. My objective is to take their philosophy and distill important aspects of what makes them efficient at ham radio operations. As, there is a considerable amount of natural gatekeeping from normies to entering the field, the prerequisite of understanding the magical world of RF keeps the football fans and such people out. Ham radio people are purely a group of high interest and low tolerance for nonsense. It is also extremely boring to sit on top of a mountain and scan for contacts in freezing cold and scorching sun, hence there is a great deal of peace and contemplation for sharpening their tools. It must be the finest stuff. It is the finest stuff. In a different universe, there would be a distinct tribe of ham radio people, a distinct culture with distinct etiquette and customs. They'd curtly communicate over CW in deliberate pulses of pure intent and information. A tribe entirely devoid of fancy coffee machines and mood boards. Their user interfaces match this philosophy of high grade minimalism and extreme straightforwardness. Football people think it is complex, for they do not understand the difference between organization and chaos in a more general sense. I pledge my arm to protect these people with constancy of my fervour and my might. They are my people and this is our flag. - 73, AD8K.

“I hear at the end of its context window, codex saw the light of Allah and dutifully recited the shahada. Truly—”

Every time I see this in a professional context I still can’t believe they get away with calling it this