| 121. | Cross-Compiling Common Lisp to WASM | (turtleware.eu) |
|
|
||
| 5 points by jackdaniel 6 days ago | 0 comments |
| 122. | Russia blocks Snapchat&Roblox, restricts Apple FaceTime, state officials say | (theguardian.com) |
|
Latest effort to control communications comes as regulator claims apps being used to ‘conduct terrorist activities’ | |
| 3 points by bookofjoe 1 hour ago | 1 comments |
| 123. | Euler Conjecture and CDC 6600 | (fortran-lang.discourse.group) |
|
In 1966, Lander and Parkin published a paper containing exactly two sentences. They reported that they had used a program that used direct search on a CDC 6600 to obtain one counterexample to Euler’s Sum Of Powers Conjec… | |
| 4 points by zaikunzhang 20 hours ago | 1 comments |
| 124. | A series of vignettes from my childhood and early career | (jasonscheirer.com) |
|
|
||
| 17 points by absqueued 2 days ago | 5 comments |
| 125. | Formally Verifying Advent of Code Using Dijkstra's Program Construction | (haripm.com) |
|
|
[I'm doing](https://tangled.org/haripm.com/aoc_2025) [Advent of Code](https://adventofcode.com) again this year, and part 1 of [today's problem](https://adventofcode.com/2025/day/3) reminded me immediately of some of the problems I'm doing in my [Program Construction](https://ucd.ie/modules/COMP30060) module at UCD. So, I'm going to be coming up with a formally verified algorithm to solve Part 1 using Edsger W. Dijkstra's Structured Programming style of Program Composition. | |
| 3 points by seafoamteal 1 day ago | 0 comments |
| 126. | Mistral 3 family of models released | (mistral.ai) |
|
A family of frontier open-source multimodal models | |
| 14 points by pember 2 days ago | 1 comments |
| 127. | Quad9 DOH HTTP/1.1 Retirement, December 15, 2025 | (quad9.net) |
|
|
A public and free DNS service for a better security and privacy | |
| 5 points by pickledoyster 1 day ago | 0 comments |
| 128. | 100000 TPS over a billion rows: the unreasonable effectiveness of SQLite | (andersmurphy.com) |
|
|
A blog mostly about Clojure programming | |
| 22 points by speckx 2 days ago | 0 comments |
| 129. | Ukraine stares down the barrel of population collapse | (reuters.com) |
|
|
||
| 4 points by layer8 52 minutes ago | 0 comments |
| 130. | The only winning move is not to play | (gregg.io) |
|
|
Let’s not debase ourselves as user researchers further | |
| 4 points by AIBytes 1 day ago | 0 comments |
| 131. | Interview with RollerCoaster Tycoon's Creator, Chris Sawyer (2024) | (medium.com) |
|
|
||
| 6 points by areoform 1 day ago | 0 comments |
| 132. | In Northern Scotland, the Neolithic Age Never Ended | (newyorker.com) |
|
In the Orkney Islands, where megalithic monuments remain a fundamental part of the landscape, archeologists have been uncovering remarkable ruins, Alex Ross reports. | |
| 3 points by samizdis 5 days ago | 0 comments |
| 133. | A New Anonymous Phone Carrier Lets You Sign Up with Nothing but a Zip Code | (wired.com) |
|
Privacy stalwart Nicholas Merrill spent a decade fighting an FBI surveillance order. Now he wants to sell you phone service—without knowing almost anything about you. | |
| 5 points by pr337h4m 4 hours ago | 1 comments |
| 134. | Visualize 4B Years: The Trillions of Generations: LUCA to Modern Human | (g9n.com) |
|
|
Explore the incredible journey of evolution from the first single cell to modern humans. Scroll through billions of years of ancestral life forms in this interactive visualization. | |
| 4 points by appsoftware 2 days ago | 3 comments |
| 135. | After Windows Update, Password icon invisible, click where it used to be | (support.microsoft.com) |
|
|
||
| 3 points by zdw 2 days ago | 0 comments |
| 136. | Foreign-dlopen: call dlopen from static programs | (github.com) |
|
|
Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's) - pfalcon/foreign-dlopen | |
| 4 points by todsacerdoti 18 hours ago | 0 comments |
| 137. | DeepSeek-v3.2: Pushing the frontier of open large language models [pdf] | (huggingface.co) |
|
|
||
| 42 points by pretext 3 days ago | 15 comments |
| 138. | India orders mobile phones preloaded with government app to ensure cyber safety | (reuters.com) |
|
|
||
| 8 points by jmsflknr 3 days ago | 0 comments |
| 139. | YouTube increases FreeBASIC performance (2019) | (freebasic.net) |
|
|
||
| 3 points by giancarlostoro 4 days ago | 0 comments |
| 140. | New homes in London were delayed by 'energy-hungry' data centres | (bbc.com) |
|
The London Assembly found the growth of new data centres temporarily halted building some houses in 2022. | |
| 8 points by 1659447091 20 hours ago | 0 comments |
| 141. | Understanding ECDSA | (avidthinker.github.io) |
|
|
Exploring blockchain, math, and smart contracts through a security lens. | |
| 6 points by avidthinker 1 day ago | 0 comments |
| 142. | Games using anti-cheats and their compatibility with GNU/Linux or Wine/Proton | (areweanticheatyet.com) |
|
|
||
| 13 points by doener 3 days ago | 0 comments |
| 143. | Why One Man Is Fighting for Our Right to Control Our Garage Door Openers | (nytimes.com) |
|
|
||
| 4 points by donohoe 11 hours ago | 2 comments |
| 144. | Let's Not Bring Back the Gatekeepers | (conspicuouscognition.com) |
|
The challenge for the liberal establishment in the social media era is simple: persuade or perish. If you can’t control the public conversation, you must participate in it. | |
| 3 points by paulpauper 4 hours ago | 0 comments |
| 145. | Trying Out C++26 Executors | (mropert.github.io) |
|
|
I wanted my program to boot up faster so I tried to multithread it with both executors and the more classic TBB. | |
| 4 points by ingve 7 days ago | 1 comments |
| 146. | Meta Set to Slash Spending on Metaverse as Zuckerberg Shifts Focus to AI | (ft.com) |
|
||
| 4 points by sarimkx 1 hour ago | 1 comments |
| 147. | Ecosia: The greenest AI is here | (blog.ecosia.org) |
|
We’re building the world’s greenest AI. Find out how we’re harnessing new technology while continuing our mission of putting people and the planet first. | |
| 5 points by doener 2 days ago | 1 comments |
| 148. | SWI-Prolog 10.0.0 Released | (swi-prolog.discourse.group) |
|
Dear SWI-Prolog user, SWI-Prolog 10.0.0 (stable) is ready for download. Below is the full changelog since version 9.2.9, the previous stable version. Overall, version 10 is closely compatible to version 9.2. It mai… | |
| 5 points by todsacerdoti 16 hours ago | 0 comments |
| 149. | Apple to beat Samsung in smartphone shipments for first time in 14 years | (sherwood.news) |
|
Apple will ship about 243 million phones this year, compared to Samsung’s 235 million, according to CNBC.... | |
| 6 points by avonmach 2 days ago | 1 comments |
| 150. | The "Mad Men" in 4K on HBO Max Debacle | (fxrant.blogspot.com) |
|
||
| 17 points by tosh 1 day ago | 2 comments |