Logica
Logica : Modern Logic Programming
๐ฅฑ4๐3๐ญ2โค1
๐ฉ33๐ฅฑ21๐ฅ12๐คฃ7โค3๐2๐2๐ญ2๐คทโโ1
Mastodon
ChrisO_wiki (@ChrisO_wiki@mastodon.social)
Attached: 1 image
1/ X's algorithm was changed in mid-July 2024 to systematically boost Republican-leaning accounts and Elon Musk's own account following his endorsement of Donald Trump, according to a newly released computational study of engagement fromโฆ
1/ X's algorithm was changed in mid-July 2024 to systematically boost Republican-leaning accounts and Elon Musk's own account following his endorsement of Donald Trump, according to a newly released computational study of engagement fromโฆ
๐ฉ49๐31๐13๐คฌ5๐คก4๐4โค2๐คฉ2๐ฅฑ2๐ญ2๐ฅ1
Erik McClure
Stop Making Me Memorize The Borrow Checker
I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler. One of the most common and obnoxious problems is hitting a situation the borrow-checkerโฆ
๐คฎ22๐คก7๐ฆ3๐2๐2๐คฃ2๐ฉ1๐ญ1
๐7๐ญ2๐1
Atlas Obscura
Teach Yourself to Echolocate
A beginner's guide to navigating with sound.
๐ณ11๐9๐ฅฑ5๐ญ2
The Hill
Pentagon fails 7th audit in a row but says progress made
The Pentagon on Friday failed its seventh audit in a row, with the nationโs largest government agency still unable to fully account for its more than $824 billion budget, though officials strโฆ
๐คก47๐10๐6๐คฎ2๐ญ2๐คทโโ1๐ข1๐พ1
๐ฅฑ6๐ญ2
Michael Charles Aubrey
CSS Gets a New Logo: And It Uses the Color `rebeccapurple` | MichaelCharl.es/Aubrey (Michael Charles Aubrey)
A community vote in the CSS-Next repository on GitHub decided on a new official logo for CSS. The design follows the design language of the logos of other web technologies like JavaScript, TypeScript, and WebAssembly. A demonstration of the new rebeccapurpleโฆ
๐
40๐คทโโ8๐ฅด8โค6๐คฎ4๐ค3โคโ๐ฅ1๐ฅฑ1