Alex Silva

Loving husband and software artisan.

[Zara Quinn @_Zaraquin]

Spanish goalkeeper in the world cup finals 😂😂

[God @TheTweetOfGod]

Every single word in the Bible is true. It's only when you group them together as sentences that they start getting iffy.

[Royally Sage @sage1411]

My brother posts this every year in the family chat on the 4th. Still hilarious.

[Massimo @Rainmaker1973]

Tyler Durden seen talking to himself at the USA-Türkiye World Cup game

[Giga Based Dad @GigaBasedDad]

😂😂

[Mo @atmoio]

AI is making CEOs delusional

[PC Philanthropy @PcPhilanthropy]

The modern laptop designers mind cannot comprehend this much I/O

[Patricia Marins @pati_marins64]

We killed Khamenei, now they can’t fight without the leader.

IRAN:

[MiniMax (official) @MiniMax_AI]

Introducing M2.5, an open-source frontier model designed for real-world productivity.

- SOTA performance at coding (SWE-Bench Verified 80.2%), search (BrowseComp 76.3%), agentic tool-calling (BFCL 76.8%) & office work.

- Optimized for efficient execution, 37% faster at complex tasks.

- At $1 per hour with 100 tps, infinite scaling of long-horizon agents now economically possible

MiniMax Agent: https://t.co/aIzrFYcfUz
API: https://t.co/fHRdSV7BwZ
CodingPlan: https://t.co/FDhZBBjQrX

[Alex Silva @asandroq]

I'm implementing a small dependently-typed language based on @d_christiansen's tutorials and book. There is something very satisfying about being able to prove properties of natural numbers while using your own programming language

[Aakash Gupta @aakashgupta]

This is one of the most important studies in sleep science.

Van Dongen et al. ran the experiment that changed how we understand chronic sleep restriction. They had subjects sleep 4h, 6h, or 8h nightly for 14 days, testing cognitive performance every 2 hours.

The 6h group’s reaction time deficits by day 14 matched subjects who had been awake for 24 hours straight. The 4h group? They performed like someone awake 48 hours.

But here’s what makes this study terrifying.

The Stanford Sleepiness Scale ratings in Panel B plateau after day 3-4. Subjects stopped feeling more tired even as their cognitive performance continued deteriorating through day 14. Your subjective experience of fatigue is a lagging indicator that eventually just… stops updating.

This explains why chronic undersleeping feels sustainable. You’ve adapted to feeling tired. Your prefrontal cortex hasn’t adapted to being impaired.

The PVT (Psychomotor Vigilance Task) in Panel A measures lapses in attention. These are the moments where you’re staring at a screen and your brain simply checks out for 500ms. Every additional day of 6h sleep adds more lapses. The curve never flattens.

Panel C and D show working memory and processing speed. Same pattern: continuous degradation with no subjective awareness.

The practical implications:

If you’re sleeping 6h and think you’re functioning fine, you’ve lost the internal calibration to know you’re not. The subjects in this study would have told you they felt “okay” while performing like they’d pulled an all-nighter.

For anyone doing cognitively demanding work, this means you cannot trust how you feel. You need to track objective markers: error rates, decision latency, problem-solving throughput.

Sleep need is biological, not negotiable. Most adults require 7-9 hours, and the research shows no population-level adaptation to chronic restriction. “I only need 6 hours” is almost always “I’ve forgotten what baseline cognition feels like.“

[Elorm Daniel @elormkdaniel]

For those of you who don’t know, VLC also allows you to watch 150–300 live sports channels plus over 1,800 free TV channels worldwide

Here’s how (using safe and public links only):

Install VLC (Free)
Windows / Mac / Linux: videolan .org
Android / iOS: Search VLC in your store

Get a public playlist
Sports-only: https://t.co/ABAhZgOv2O
Full TV (News, Movies, Kids, Music): https://t.co/JvWFFSE7ik

Open VLC → Network Stream → Paste URL → Play
Use Playlist view to switch channels
Some streams take a few seconds, VPN may be needed for geo-blocked content

Channels are public & community-maintained and availability can change.

Enjoy free TV & sports safely

cc: Rollandex

[Impeach Trump a 3rd Time! @Christo12919382]

@KeithOlbermann

[Markov @MarkovMagnifico]

how my codebase written entirely with claude code runs

[Md Ismail Šojal 🕷️ @0x0SojalSec]

Chinese scientists have developed,

The best shortest-path algorithm in 41 years!

A team from Tsinghua University has broken Dijkstra's "sorting barrier" - the first improvement since 1984.

Just use for a world-map 🤯

Paper - https://t.co/0AhR5O7vl4
https://t.co/a9KMVRuYGx

[internet hall of fame @InternetH0F]

Education must be illegal in the US....

[Historic Vids @historyinmemes]

Proof that Switzerland has the best weather presenters

[💤🌵🤖funky little contraption @boring_cactus]

figured after four years it was time for another exhaustive survey of #rustlang desktop GUI libraries https://t.co/0P3t2J7GdR

[Rust Language @rustlang]

Rust 1.85.0 has been released! 🌈🦀✨

Not only does this release add async closures, it also includes a whole new Rust Edition, Rust 2024! 🎆🚀

Check out the blog post for an overview of all the changes and additions: https://t.co/kaVFfLAhRZ

[† lucia scarlet 🩸 @luciascarlet]

oh, it appears as if you have summoned me

there are several reasons as to why:

1. macOS does not use hinting
hinting is a technique to improve the sharpness of text on low-resolution screens and allow outline fonts to be rendered as bitmaps at a variety of sizes. it works by having fonts contain full-blown programs that instruct the renderer on what to do with outlines when rendering and where to place them on the pixel grid. this results in the shape of a glyph being altered so that it fits into the pixel grid, rather than the original shape of the glyph being maintained. while this can look acceptable (good, even) if a font is meticulously and manually hinted—an arduous process that can take literal years to do by hand and requires knowledge of some extremely arcane software—this is no longer nearly as much of a requirement with monochrome/bitmap rendering no longer being something you'd need to care about and screens being higher resolution on average. therefore, the norm for most new fonts is for them to just go through an auto-hinting process, perhaps with slight manual fixes where needed. this is typically Good Enough™, but… well, really, it's not. there are a handful of issues with this: glyphs will not render consistently at different sizes, stems may be aligned towards the incorrect pixel or aligned when they shouldn't be at all, and it generally will destroy the intended overall character of the font by significantly altering the shapes beyond recognition (something you could argue also holds true for manually hinted fonts, but often, the type designer will take this into account as part of the design itself in those cases).
if you've ever noticed things like a font looking weirdly tall or short at specific sizes only, a font just looking nothing like it's advertised or like how it does at large sizes at all, glyphs like "E" having off-centre bars, "9" having a weirdly tiny or large bowl, or "g" having a small bowl that isn't aligned with the baseline, (crappy) hinting is to blame for all of those. what you're seeing is the renderer bending the glyph into the pixel grid in a way that is either Not Necessary or Not Correct. macOS, by simply ignoring these instructions, avoids all of these issues, which allows glyphs to look correct at the cost of looking softer and fuzzier.

2. Windows (usually) does not perform vertical anti-aliasing
Windows has, generally speaking, two font renderers: DirectWrite (the New Good One) and GDI+ (the Old Terrible One). and generally, you are meant to perform anti-aliasing in both the vertical and horizontal direction for it to be Useful. ClearType in its original GDI+ implementation simply does not bother to anti-alias glyphs vertically at all—only horizontally—which results in glyphs like "s" and "a" ending up with a distinctly jagged appearance. they are literally only half-anti-aliased. DirectWrite is actually able to do vertical anti-aliasing, allowing these glyphs to look much smoother and more pleasant, but for some arsefucked reason that completely eclipses my understanding, it does not do so by default, and necessitates the use of a special flag. MacType can force this flag, and Firefox also has the ability to enable this flag in about:config, although of course, it is not enabled by default, resulting in markedly inferior rendering.

3. macOS does not use subpixel anti-aliasing
subpixel rendering is an ancient technique dating back to when users began transitioning from CRTs to LCDs that aims to improve the horizontal resolution of text by taking advantage of the uniform horizontal RGB subpixel grid on LCDs. while it technically, to some extent, works, it brings about a LOT of complications: it cannot be trivially alpha-blended against dynamic backgrounds, it relies on a specific subpixel grid layout and native resolution, and it creates visible coloured fringing artefacts that may cause eyestrain for some (including myself), manifesting as text that doesn't look purely black, but rather black with a bunch of green and yellow crap around it. subpixel rendering is thus unsuitable for things like OLED screens (which all tend to have hilarious and made-up subpixel layouts for some reason) and setups that mix horizontal and rotated vertical monitors, which are actually quite common among enthusiasts. while there is arguably *some* merit to this technique, the benefits are simply are vastly outweighed by its drawbacks. Windows in most cases employs a very aggressive form of this (which I perceive to be rather abrasive and unpleasant to look at), while macOS sticks to basic greyscale anti-aliasing, which is far more reliable and does not result in unpleasantly fringed text.

4. macOS always uses fractional glyph positioning
traditionally, font rendering had been done by rendering an atlas of glyphs once, and simply referring to it for each new glyph, with the position of the glyph being rounded to the nearest pixel. unfortunately, this is not sufficient in order to faithfully reproduce the spacing of glyphs as was intended by the type designer and as is encoded in the font, as kerning and spacing happens at a much, MUCH finer scale than even a high-DPI pixel, let alone a low-DPI pixel. rounding glyph positions to the nearest pixel therefore tends to result in inconsistent and off-pissing kerning that Doesn't Look Right. fractional glyph positioning addresses this by actually rendering glyphs individually in between pixels, so that the intended spacing and kerning that the type designer spent days carefully tuning can be reproduced accurately on-screen, even at small sizes. it is very easy to determine whether fractional glyph positioning is in use by typing one character in quick succession and seeing if all of them look the same or not:
iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii
if all of these look the same, then fractional glyph positioning is not used; if they look different, then it is. Windows's God-awful GDI+ renderer indeed does not use it, but macOS, as well as Windows's good DirectWrite renderer do use it. (thankfully, your browser most likely does use DirectWrite to render text, unless it is so old that it creaks upon being clicked on)

5. macOS performs intense stem darkening
to compensate for gamma correction during the AA stage resulting in perceived thinner and lighter text due to simply not covering enough pixels, particularly on low-DPI screens, macOS's text renderer performs a rather noticeable amount of stem darkening, something that it confusingly refers to internally as "font smoothing". this simply expands the stems by a small amount in relation to pixel size, increasing their coverage of the pixel grid, which enhances the contrast and results in glyphs appearing darker. this allows text to remain easily readable even at small point sizes on low-resolution screens. if so desired, stem darkening can actually be disabled using a terminal command in macOS.

in short: macOS treats fonts with respect and dignity, and Windows mercilessly beats and tortures them to death and throws their mangled, desecrated corpses by the roadside all while laughing about it