Haskell is my favorite Lisp λ • https://xitter.cf/t.co/j5ac1dKYXw • https://xitter.cf/t.co/5V4fixEkFj • prev @aws @redhat

✝️
Joined August 2023
I love the new GPT 6.1 Terra (xhigh) but the problem is that it stops too soon. /goal mode works like a charm though
1
2
139
guys i do not care if a product literally cured your cancer, if i see you excessively glazing something on the timeline you're muted no questions asked
37
And they hand out detentions based on compliance! ...ask me how I know
"Smart white boys surpass their teachers in intelligence by fourth or fifth grade. Remember public elementary school teachers have IQs around 100-105 based on SAT scores. These women know it and they hate it. They like compliance. They grade based on compliance."
33
“And which of you by worrying can add a single day to his life's span?” — Matthew 6:27
91.4% of anxious thoughts never come true.
2
59
"Some people actually do not want us to understand the world because it would make them upset." Agreed. That being said, I think it's even deeper than that. Imagine the societal implications of a world where we scientifically prove that **not** all men are created equal
Studying intelligence is off-limits due to nonsense moral restrictions. Some people actually do not want us to understand the world because it would make them upset.
24
Andrue Anderson retweeted
GPT-6.1 Terra: delivering fast and capable computer use at a lower price. GPT-6.1 Terra understands what’s on screen, takes action across apps, writes naturally, and is a more capable model for your whole workday with the efficiency to take on more of it.
🤖 Made with AI
1,565
2,410
2,170
27,178
5,882,682
guys.. don't use ancient hardware. if you think a modern iPhone is insecure you have no idea the manmade horrors that are waiting for you in a circa 2013 blackberry.
Minimal Phone 2 starts from $600 Used BlackBerry Q10: $60 Reverse engineered it and got a physical keyboard, SSH, and Claude Code in my pocket
Readers added context they thought people might want to know
The video contains OpenAI SynthID signals consistent with AI generation and does not depict a real reverse-engineered BlackBerry Q10, which runs 2013-era BlackBerry 10 OS incapable of the modern terminal/SSH/Claude features shown. x.com/lukey_stephens… en.wikipedia.org/wiki/BlackBerr… openai.com/index/advancin… notebookcheck.net/Minimal-Phone-…
1
144
love you Kiran, this is not a dig. why is the algorithm so skewed towards sensationalism? I'm so tired of seeing safe-swearing on my timeline
I have but one comment to add: It is getting f*cking dangerous
34
yea there's a reason the founding fathers originally required land ownership in order to vote
a very simple solution to virtually every problem would be to stop allowing people who live off taxpayer money to vote anyone whose entire livelihood depends on the government taking money from other people will always vote for a government that takes more money we’ve built a system where people can literally vote to give themselves more of other people’s money the conflict of interest is beyond ridiculous and if you remove the incentive you remove the problem
15
Pro tip: Stop downloading random binaries from random people, and DEFINITELY don’t disable Mac quarantine protections.
Your MacBook can now host a coding agent at 300+ tps! I gave DeepSeek V4.1 Flash a job: write a specialized inference engine for LiquidAI's LFM2.5-24B-A2B on Apple's M5 Max. For $21 of API, it built Molten: 300+ tps, about 1.5x faster decode than mlx-lm and llama.cpp. Why specialized? General frameworks like mlx-lm and llama.cpp have to run any model on any hardware. A specialized engine serves one model on one chip at batch size 1, so there is far more room to optimize. Molten is native Rust + Metal: one ~6 MB binary, no Python, PyTorch or MLX. It comes with a chat CLI and an OpenAI-compatible server with streaming and tool calls, so you can point your own coding agent at it. It needs an M5-series Mac with 24 GB+ (sorry, M1-M4 friends). The numbers (M5 Max, 128 GB) • 305 tps at 256 tokens of context, vs 190 for mlx-lm and 199 for llama.cpp • Still 248 tps at 16K, where coding agents actually live (mlx-lm: 165) • Faster time to first token: 1.76 s vs 2.17 s for a 16K prompt • Same weights and math as mlx-lm How it was built The agent (DeepSeek V4.1 Flash in the Pi harness) ran in a recursive self-improvement (RSI) loop. Each session starts from the best engine so far, plus the feedback from every earlier round. A fixed evaluator rebuilds each candidate from source, checks its tokens against mlx-lm, times and profiles it. Only correct and faster engines survive. • Hour 3: first correct engine, 0.56x mlx-lm • Day 2.5: passes mlx-lm • Day 5.7: 1.28x end to end, 1.53x decode 78 agent sessions, about $21 (1.36B tokens, 98.6% of them cache hits). What the RSI loop found useful for speeding up: • Fuse chains of small ops into single kernels: norm + router + top-4 expert pick, expert FFN + combine, Q/K/V projections + KV-cache write, Q/K norm + RoPE + attention, LM head + argmax. • Keep the decode loop on the GPU. Tokens never round-trip to the CPU, and the GPU stays 99% busy. • Hard-code every shape, so the 4-bit kernels stream weights at ~75% of the memory bus. • Target the hardware: prefill runs on the M5 GPU's Neural Accelerators through Metal 4 tensor ops, with MoE routing and expert GEMMs fused and kept on the GPU. (It's not Rust, by the way. llama.cpp is native C++ too. It's the specialization.) TBH, I don't fully understand all of it yet lol. The agents wrote this in under 6 days, and it's going to take me longer than that to read it. As the human researcher, I'm now officially the slowest-improving component of my own RSI loop🤣, so I'll spend the next few weeks learning from my agents. Where I think this goes: local inference will matter more and more, and a specialized engine can beat a general one. As RSI matures, the cost of building one keeps falling toward zero. I think every model, every chip, and maybe every workload will eventually get its own inference engine. The idea is inspired by @perplexity_ai 's Lily. Thanks to @liquidai for the great model, and Apple's MLX, whose kernels Molten adapted from. Repo here: github.com/zhangshuibai/molt…
5
178
Andrue Anderson retweeted
If you've ever wondered why smart TVs are so cheap, this is why. @log4j rooted his Samsung and found an always-on hot mic, automatic content recognition, geolocation, network mapping, ad targeting and user profiling, shared with Samsung's "400 partners". A lot of it can be blocked in <15 min, wrote a basic guide below. What your TV is doing The main culprit is ACR (automatic content recognition). Your TV screenshots what's on screen, fingerprints it, and sends it home to build your ad profile. Samsung does it every 500ms, LG every 10ms [1]. What is insane: it happens on connected devices too. Plug in your laptop, your console, your work machine, and your TV can fingerprint that via HDMI [1]. He also found that if your Samsung doesn't have a mic, it'll look for one from a connected soundbar or bluetooth device. xitter.cf/log4j/status/211376224… It's on by default, and you likely agreed to it on the setup screen you clicked through in 10 seconds. Step 1: Turn off ACR Samsung: Terms & Privacy → Viewing Information Services LG: Live Plus Vizio: Viewing Data Roku: "Use info from TV inputs" Sony/Google TV: Samba Interactive TV Menus vary by model, but those are the names to look for. While you're in there, opt out of interest-based ads, reset your advertising ID, decline every optional privacy agreement, turn off voice recognition, and delete apps you never open. Step 2: Give smart devices their own network Put the TV, cameras, speakers and vacuum on your router's guest/IoT network. The logic is simple: these devices rarely get patched. If one gets compromised (getting drastically more frequent with AI), it shouldn't be able to see your other devices or home network. Step 3: Block trackers for the whole house with DNS-level filtering NextDNS (cloud-based) is easy and has a solid free plan. Pi-hole is a little bit more work if you prefer self hosting. For simplicity we'll focus on the former. 1. Sign up at nextdns.io (free tier is plenty) 2. Privacy tab: add a blocklist (OISD is a good bet) and turn on Native Tracking Protection for Samsung, LG, Roku, Amazon (see attached image) 3. Setup tab: copy your endpoint 4. Paste it into your router's DNS settings as DNS-over-HTTPS/TLS (or use the IPs + "Link IP" if your router only does plain DNS) 5. Bonus: block outbound port 53 except to your router. Some devices hardcode their own DNS to get around you Then open the NextDNS logs and watch how often your TV phones home. It's eye-opening. If an app or update breaks, find the domain in the logs and allowlist it. Why they do this TV prices are down 97% since 2000 [2]. Most of that is better manufacturing and brutal competition. But once margins on the hardware hit zero, the cost moved to you. In Q3 2024, Vizio lost $6.7M selling TVs and made $115.8M in gross profit from ads and viewing data [3]. They've said on earnings calls that they keep TV prices low to grow the audience they sell to advertisers. Walmart bought them in 2024. This isn't a conspiracy theory either. Vizio paid $2.2M to the FTC in 2017 for tracking 11 million TVs without consent. Last December, Texas sued Samsung, LG, Sony, Hisense and TCL over ACR. Samsung and LG have since agreed to stop collecting that data without explicit consent [4]. TL;DR 1. ACR off 2. Ads + voice off 3. Smart devices on their own network 4. NextDNS filtering on the router Sources: [1] ACR study: arxiv.org/abs/2409.06203 [2] Cost of US consumer goods: aei.org/economics/chart-of-t… [3] Vizio Q3 2024: sec.gov/Archives/edgar/data/… [4] Texas v. Samsung: texasattorneygeneral.gov/new…
i own a relatively new (2025) samsung tv. i kept getting weirdly targeted ads. i tried reversing the firmware but it was aes encrypted and no keys unless tear it apart and do uart/jtag magic. zero days it is. root shell on new samsung TVs! discovered PRIVACY HORROR. write up?
347
3,268
338
22,539
1,499,698
Yep, the direct correlation is “gun control” and we have a right to bear arms for a reason
The only way out is through. They're calling it the Bugpocalypse. LLMs are being used to find long-hidden cracks in the software infrastructure, and it's happening at a furious rate. 3% of all compromises in computing history happened in the last week, claims one source? I believe it. There are people saying public access to the frontier models ought to be locked out, or heavily guardrailed, over this. The problem with that idea can be summed up in one sentence: when lockpicks are outlawed, only outlaws will have lockpicks. The lockpicks will be Chinese open-weight models, if nothing else. There's no way to stop those from becoming ubiquitous. There are two futures in front of us. One in which only the bad guys have lockpicks, and security holes go undiscovered until they're exploited. Another in which everybody has lockpicks and is aggressively red-teaming their own software so it gets fixed before the holes are exploited. The corpus of human code is huge but finite. The number of defects in it has to be finite too. We can fix those defects now; we have a million friendly robots to do it with. The only way out is through.
78
Andrue Anderson retweeted
The only way out is through. They're calling it the Bugpocalypse. LLMs are being used to find long-hidden cracks in the software infrastructure, and it's happening at a furious rate. 3% of all compromises in computing history happened in the last week, claims one source? I believe it. There are people saying public access to the frontier models ought to be locked out, or heavily guardrailed, over this. The problem with that idea can be summed up in one sentence: when lockpicks are outlawed, only outlaws will have lockpicks. The lockpicks will be Chinese open-weight models, if nothing else. There's no way to stop those from becoming ubiquitous. There are two futures in front of us. One in which only the bad guys have lockpicks, and security holes go undiscovered until they're exploited. Another in which everybody has lockpicks and is aggressively red-teaming their own software so it gets fixed before the holes are exploited. The corpus of human code is huge but finite. The number of defects in it has to be finite too. We can fix those defects now; we have a million friendly robots to do it with. The only way out is through.
177
649
136
4,890
471,819
Andrue Anderson retweeted
Replying to @VMViam
A world without organized religion keeps spawning terrible reimplementations with little of the grace and forgiveness that was built into the existing systems.
10
16
2
461
25,456
Andrue Anderson retweeted
Replying to @NilesSankey
I am just wondering where are all the lawsuits, because these things have been illegal the whole time.
40
15
568
14,601
Andrue Anderson retweeted
Get off Pornhub. Delete Onlyfans. Unfollow Instagram models. Follow Jesus Christ.
157
947
23
19,482
153,644
Taelin is truly the prophet of our time, ahead of the curve, and 99% correct 99% of the time. Godspeed brother. I'm watching Bend closely.
This quoted post is unavailable.
29
Why do people think the cybersec issues we've been dealing with are logic issues? Genuinely curious. I've seen so many people suggesting dependent types, property-based testing, formal verification etc, but the majority of what we've seen has been "oh haha i chose literally the number 4 as my private key"
At this point, if you’re in software and aren’t currently working on a plan for moving to formal verification, it’s irresponsible. The writing is on the wall. This needs to be your priority now.
66
Jokes on you, I’m already very into video games and rock climbing
Millennials, it's time to choose your midife crisis 1. Date a 24 year old 2. Quit drinking and tell everyone you don’t drink anymore 3. Drink heavily 3-4 times a week 4. Train for a marathon and or Hyrox 5. Have a panic baby (with wife you hate) 6. "We're opening the relationship" (she bangs, guy tries too and fails? 7. Get divorced to feel something 8. Get diagnosed with adult ADHD/autism 9. Niche side quests like rock climbing, gardening, handstands 10. Get very into video games
1
57
the only white pill to all this
WTF, $3000 Samsung TV has an always-on mic, automatic content recognition, geo tracking, network mapping, and ships your data to Samsung + 400 partners. Bro Rooted a brand-new 2025 Samsung TV after noticing absurdly targeted ads. Firmware was locked down, so zero-days it was. Got a root shell. then found: always-on voice service, ACR, geo, full telemetry pipeline, and four separate DRM systems. This isn’t a bug, It’s the product bro.
2
140