gave drohl
@samlakig
incrivel strand perkele flavortown nuke radio https://samlaki.neocities.org/
After 78 years, an exponential improvement for Ramsey numbers were found by Jie Ma, Wujie Shen, and Shengjie Xie. gilkalai.wordpress.com/2025/07/23/ama…
I have a devious plan for my invited talk at ICFP 2025 which revisits some great but too early ideas from the 80s... and uses LLMs to make them very relevant today! icfp25.sigplan.org/details/icfp-2…
I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Agda, SVA formal verification jobs using…
Need MORE geniuses！🛫
From Kimi K2 to the next wave of agentic AI, we’re just getting started. Come build with us! Roles↓ - Research Scientist / Engineer - Agentic RL - Post-Training Algorithm Researcher/Engineer (Code/SWE) - Global Social Media Growth & PR - Developer Community Evangelist - AI…
I made my own NYT Connections-inspired puzzle game. Try it and let me know what you think.
Connecdoku 2025-07-23 💕🔤🎬🔤 🟩🟩🟩🟩👩🏻 🟩🟩🟩🟩🇺🇸 🟩🟩🟩🟩📜 🟩🟩🟩🟩🇬🇧
Just submitted to the NSF CAREER competition--expecting very tough competition this time, but attaching some relevant photos.
Continuing with more seed harvesting, today it’s the seed from my Own selection of long beet, these will be followed by the large exhibition onion seed in a couple of weeks.
Been working on this for a while, super excited to see it live! Near the start of the year, I committed to making Elicit’s data source access best in class, and after the Chrome Extension this is the second major public launch as part of that
Clinical Trials are live on Elicit 🎊 You can now search through the 545,000 trials available on clinicaltrials.gov and summarize them in structured tables or descriptive reports. New trial registrations are instantly available.
Another classic by this pair is the first cutoff paper of Bernoulli-Laplace model. Diaconis, P. & Shahshahani, M. Time to Reach Stationarity in the Bernoulli-Laplace Diffusion Model. SIAM J Math Anal 18(1):208-218. Link from Diaconis website: drive.google.com/file/d/1axFWUv…
This is the second-best paper I have ever read. It combines random walks, group theory, and representation theory. It's amazing how two people managed to combine so many difficult topics into one clean paper.
imagine nibbling on foid's ear as she takes the life of your enemies......
wish we had more declarative frontends, then again a css style is worth a thousand words
using sonnet to write a pytorch module: $0.038 using sonnet to write a react component: $33.74
Lads, it is time
One of the most insidious ways men take up space is by whistling.
This is why wrestlers clear
I'm crying. There's nothing in Fort Worth for a 22 year old Japanese pop star so she's taking pics at a grocery bakery lmao
new season of mr robot looks impressive
The code they used for hacking in Special Ops 2.O 😭
You will unfortunately have to look at the data.
We are looking for a post-training lead at @datologyai we have gpus, you can make them go brrrr