freshly napalmed
@pulsararray.bsky.social
Hold on tightly, let go lightly
Reposted by freshly napalmed
Reposted by freshly napalmed
A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
YouTube video by Hopkins Natural Philosophy Forum
youtu.be
November 8, 2025 at 11:41 AM
A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver
Reposted by freshly napalmed
Interested in resources to help students learn what "counts" as an argument when interpreting a text. Because they're accustomed to more empirical modes of argument, they struggle with the difference between "interpret" and "just say your opinion." Any resources that outline this in a helpful way?
November 3, 2025 at 9:28 PM
Interested in resources to help students learn what "counts" as an argument when interpreting a text. Because they're accustomed to more empirical modes of argument, they struggle with the difference between "interpret" and "just say your opinion." Any resources that outline this in a helpful way?
Reposted by freshly napalmed
Stellan Skarsgård summing up the difference between social democracy & capitalism very succinctly
October 23, 2025 at 8:40 PM
Stellan Skarsgård summing up the difference between social democracy & capitalism very succinctly
Reposted by freshly napalmed
Some more details:
-a 1-time, 5% wealth tax on billionaires currently living in the state
-affects around 200 people
-moving won't matter; based on 2025 residency
-billionaires earn 7.5%/yr, they'd still come out ahead
-yields enough to cover the Medicaid gap for 5 years & have some $ left for K-12
-a 1-time, 5% wealth tax on billionaires currently living in the state
-affects around 200 people
-moving won't matter; based on 2025 residency
-billionaires earn 7.5%/yr, they'd still come out ahead
-yields enough to cover the Medicaid gap for 5 years & have some $ left for K-12
California is readying a one-time 5% tax on billionaires for the 2026 ballot that would go toward compensating for Trump's Medicaid cuts. The architects see it as a national model.
It will be announced today.
It will be announced today.
October 23, 2025 at 8:02 PM
Some more details:
-a 1-time, 5% wealth tax on billionaires currently living in the state
-affects around 200 people
-moving won't matter; based on 2025 residency
-billionaires earn 7.5%/yr, they'd still come out ahead
-yields enough to cover the Medicaid gap for 5 years & have some $ left for K-12
-a 1-time, 5% wealth tax on billionaires currently living in the state
-affects around 200 people
-moving won't matter; based on 2025 residency
-billionaires earn 7.5%/yr, they'd still come out ahead
-yields enough to cover the Medicaid gap for 5 years & have some $ left for K-12
This is awful. RIP Daniel Naroditsky
October 21, 2025 at 4:41 AM
This is awful. RIP Daniel Naroditsky
Reposted by freshly napalmed
when all is said and done it looks reasonably likely that bin laden will have taken down not just the us but the entire west
October 16, 2025 at 4:28 AM
when all is said and done it looks reasonably likely that bin laden will have taken down not just the us but the entire west
Reposted by freshly napalmed
Bluesky crashed from everyone joining lol. We're getting everyone on here
October 15, 2025 at 5:33 PM
Bluesky crashed from everyone joining lol. We're getting everyone on here
legendary jpl, this is brutal
NASA's Jet Propulsion Laboratory to lay off about 550 workers reut.rs/4302N2L
NASA's Jet Propulsion Laboratory to lay off about 550 workers
NASA's Jet Propulsion Laboratory said on Monday it will cut nearly 550 jobs as part of a restructuring, not related to the current U.S. government shutdown.
reut.rs
October 14, 2025 at 2:08 PM
legendary jpl, this is brutal
Reposted by freshly napalmed
piastri in the wall on lap one. did he forget how to drive for a split second lmao
September 21, 2025 at 12:25 PM
piastri in the wall on lap one. did he forget how to drive for a split second lmao
a memory safe c/c++, almost too good to be true? it is not a toy either, the author has ported the entire wayland to it
GitHub - pizlonator/fil-c: Fil-C: completely compatible memory safety for C and C++
Fil-C: completely compatible memory safety for C and C++ - pizlonator/fil-c
github.com
September 21, 2025 at 12:15 AM
a memory safe c/c++, almost too good to be true? it is not a toy either, the author has ported the entire wayland to it
Reposted by freshly napalmed
First time a minister resigns over Gaza. That genocide support by most European governments had triggered zero ministerial resignations until now: To my mind the single most damning statistic about European political elites.
August 22, 2025 at 7:54 PM
First time a minister resigns over Gaza. That genocide support by most European governments had triggered zero ministerial resignations until now: To my mind the single most damning statistic about European political elites.
Reposted by freshly napalmed
Stop scrolling, weary traveler, and rest for a moment
June 30, 2025 at 9:34 PM
Stop scrolling, weary traveler, and rest for a moment
White House orders NASA to destroy two climate change focused satellites
White House Orders NASA to Destroy Important Satellite
The White House has instructed NASA employees to destroy two major, climate change-focused satellite missions.
futurism.com
August 6, 2025 at 2:56 PM
White House orders NASA to destroy two climate change focused satellites
Reposted by freshly napalmed
I feel the urge to read Computer power and human reason again
![“Finally, the teacher of computer science is himself subject to the enormous temptation to be arrogant because his knowledge is somehow "harder" than that of his humanist colleagues. But the hardness of the knowledge available to him is of no advantage at all. His knowledge is merely less ambiguous and therefore, like his computer languages, less expressive of reality. The humanities particularly «have a greater familarity with an ambiguous, intractable, sometimes unreachable [moral] world that won't reduce itself to any correspondence with the symbols by means of which one might try to measure it. There is a world that stands apart from all efforts of historians to reduce [it] to the laws of history, a world which defies all efforts of artists to understand its basic laws of beauty. [Man's] practice should involve itself with softer than scientific knowledge... that is not a retreat but an advance.»”](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:7f7vzcroydmluazre7q7ttnb/bafkreicarcqs2vug7o7bm7a2bzz23l4ewm4sivcw2ymaoa6xcdyb3jmnkm@jpeg)
July 18, 2025 at 7:46 AM
I feel the urge to read Computer power and human reason again
Reposted by freshly napalmed
I was at Illinois as an undergrad during and after the time Andreesen was there.
His departure with a lot of (federally funded) IP led to the rewriting of a lot of policy for student-faculty research collaborations.
He’s a racist grifter from top to bottom.
His departure with a lot of (federally funded) IP led to the rewriting of a lot of policy for student-faculty research collaborations.
He’s a racist grifter from top to bottom.
Illinois grad here. Andreesen's fortune is built on research funded by the NSF at the UIUC super computing lab (NCSA). So on top of the vile racism, he's a hypocrite.
"NSF awarded a large grant to NCSA specifically for Mosaic development, enhancement and support." www.nsf.gov/news/mosaic-....
"NSF awarded a large grant to NCSA specifically for Mosaic development, enhancement and support." www.nsf.gov/news/mosaic-....
July 12, 2025 at 2:35 PM
I was at Illinois as an undergrad during and after the time Andreesen was there.
His departure with a lot of (federally funded) IP led to the rewriting of a lot of policy for student-faculty research collaborations.
He’s a racist grifter from top to bottom.
His departure with a lot of (federally funded) IP led to the rewriting of a lot of policy for student-faculty research collaborations.
He’s a racist grifter from top to bottom.
Reposted by freshly napalmed
Overleaf is an open-source online real-time collaborative LaTeX editor. Use to create beautiful documentation for your school/college or professional work. You can host it locally. A very handy tool for developers and anyone looking easy to use collaborative LaTeX editor github.com/overleaf/ove...
GitHub - overleaf/overleaf: A web-based collaborative LaTeX editor
A web-based collaborative LaTeX editor. Contribute to overleaf/overleaf development by creating an account on GitHub.
github.com
July 8, 2025 at 3:03 PM
Overleaf is an open-source online real-time collaborative LaTeX editor. Use to create beautiful documentation for your school/college or professional work. You can host it locally. A very handy tool for developers and anyone looking easy to use collaborative LaTeX editor github.com/overleaf/ove...
max is not human
Where did that come from!
YouTube video by Lollipopman Comics
youtube.com
July 5, 2025 at 7:12 PM
max is not human
Reposted by freshly napalmed
We're hiring JavaScriptCore VM engineers in Cupertino, CA. Good opportunity to work on some truly foundational tech that underpins web performance in Apple products.
jobs.apple.com/en-us/detail...
jobs.apple.com/en-us/detail...
JavaScript Virtual Machine Compiler Engineer - Jobs - Careers at Apple
Apply for a JavaScript Virtual Machine Compiler Engineer job at Apple. Read about the role and find out if it’s right for you.
jobs.apple.com
July 3, 2025 at 4:38 AM
We're hiring JavaScriptCore VM engineers in Cupertino, CA. Good opportunity to work on some truly foundational tech that underpins web performance in Apple products.
jobs.apple.com/en-us/detail...
jobs.apple.com/en-us/detail...
Reposted by freshly napalmed
You have more in common with the average Iranian citizen than you do with the people that run this country
June 22, 2025 at 3:03 AM
You have more in common with the average Iranian citizen than you do with the people that run this country
Reposted by freshly napalmed
“Enjoy the peace, Gaia. Thank you for guiding us to the stars. Thank you for helping us, realizing our dreams. Thank you for inspiring our future. Almost family.” 🥹
Farewell to Gaia, the Milky Way’s Cartographer (Gift Article)
After more than a decade of mapping the stars, the European spacecraft was shut down on Thursday. But its legacy lives on.
www.nytimes.com
April 8, 2025 at 1:28 PM
“Enjoy the peace, Gaia. Thank you for guiding us to the stars. Thank you for helping us, realizing our dreams. Thank you for inspiring our future. Almost family.” 🥹
Reposted by freshly napalmed
Man after my own heart
April 6, 2025 at 12:12 AM
Man after my own heart
one of two MPs is @yuanfenyang.bsky.social. was meant to read the book 𝘥𝘦𝘮𝘰𝘤𝘳𝘢𝘤𝘺: 𝘦𝘭𝘦𝘷𝘦𝘯 𝘸𝘳𝘪𝘵𝘦𝘳𝘴 𝘢𝘯𝘥 𝘭𝘦𝘢𝘥𝘦𝘳𝘴 𝘰𝘯 𝘸𝘩𝘢𝘵 𝘪𝘵 𝘪𝘴 by her and others, i guess now is the perfect time
Two British MPs detained by Israel, British foreign minister says
Israel has detained two British members of parliament and refused entry to the officials who were visiting as part of a parliamentary delegation, British Foreign Minister David Lammy said in a statement late on Saturday.
www.reuters.com
April 6, 2025 at 2:15 AM
one of two MPs is @yuanfenyang.bsky.social. was meant to read the book 𝘥𝘦𝘮𝘰𝘤𝘳𝘢𝘤𝘺: 𝘦𝘭𝘦𝘷𝘦𝘯 𝘸𝘳𝘪𝘵𝘦𝘳𝘴 𝘢𝘯𝘥 𝘭𝘦𝘢𝘥𝘦𝘳𝘴 𝘰𝘯 𝘸𝘩𝘢𝘵 𝘪𝘵 𝘪𝘴 by her and others, i guess now is the perfect time
Reposted by freshly napalmed
read sections 2.1 and 2.2 of Strachey's O.G. take:
reed.cs.depaul.edu/jriely/447/a...
reed.cs.depaul.edu/jriely/447/a...
reed.cs.depaul.edu
March 19, 2025 at 6:21 PM
read sections 2.1 and 2.2 of Strachey's O.G. take:
reed.cs.depaul.edu/jriely/447/a...
reed.cs.depaul.edu/jriely/447/a...