Tech news for Gen Zs
Lean treats `2+2=4` as a Prop type instead of a boolean, so you drip proofs instead of plain true/false, periodt.
You prove claims by flexing proof values (by rfl or by decide), big mood fr.
If you can’t prove something it’s sus or you prove its negation, vibe check your logic, no cap.
Nuvistors dropped in 1959 as tiny metal valves, bussin’ for VHF/UHF before they got ghosted by transistors around the early 70s.
They slayed in studio mics, tape decks, TVs, space rigs and military gear with fire low-noise aura and BDE build.
Still a GOAT for niche projects, you can peep NOS Nuvistors on eBay if you wanna vibe-check vintage tech, periodt.
RL for LLMs is just supervised finetuning plus negative examples and KL divergence, no cap.
Online vs offline training vibes affect model performance and complexity, fr.
OpenAI made RLHF seem only for safety, but the real tea is RL is the foundation of useful LLMs, periodt.
LinkedIn is flooded with low-value, overproduced posts that boost metrics rather than deliver real insights.
The platform’s algorithm rewards frequent engagement, creating a cycle of what the author calls “toxic mediocrity.”
True career impact comes from meaningful work and deeper writing, not from chasing LinkedIn engagement.
+1 more insights
Israeli gov cyber boss nabbed by Nevada taskforce for allegedly luring a kid online, no cap.
He was spotted at Black Hat Briefings, got questioned IRL, then ghosted back to Israel fast.
US and Israeli officials clapped back, saying it was low-key and no political tea.
TrackingAI is bussin’ for peeping AI political vibes, serving up the tea on which chatbots flex left-wing or moderate biases no cap.
It quizzes AIs on the Political Compass and IQ tests, auto-updates scores, and slaps a “refused” mark if an AI ghosted the question.
Future roadmap is fire, with hesitancy metrics, AI alignment quizzes, math tests, and brain-busting challenges incoming.
Wan2.2 slayed the game with a Mixture-of-Experts architecture, boosting model capacity without extra GPU flex, no cap.
It’s giving cinematic-level drip by cooking in curated aesthetics data for controllable style and boosted motion quality.
The hybrid TI2V-5B model is bussin’ fr, generating 720p@24fps videos on a consumer GPU, low-key GOAT speed.
Supreme Court handed cities a fresh power to penalize sleeping outside, so SF yeets tents, no cap.
SF Public Works crews been flexin’ hard, dismantling encampments left and right fr.
Some call it big yikes for the homeless, but city leaders say it’s bussin’ for street vibes.
Ditching Electric+PGlite for a DIY, local-first SQLite sync engine that’s bussin’ fr, no cap.
Reactivity vibed up with triggers and BroadcastChannel API so Svelte stores get instant updates, periodt.
This setup cooks: end-to-end encrypted, offline-first notes app with zero loading times and big rizz.
TypeScript type stripping is now on by default so Node cooks .ts files out the box, no cap.
import.meta.main support, a --watch-kill-signal flag, and async disposable Worker give dev workflows extra drip.
Tons of deps updates and bugfixes got Node’s engine bussin’ fr.