C# is doing a lot of work to explore unions in an OO language. Watch this space, a very hard decision: perhaps more style perhaps than theory.
A very good summary here:
https://github.com/dotnet/csharplang/blob/main/meetings/working-groups/discriminated-unions/union-proposals-overview.md
As inheritance is baked in deep, we don't necessarily need unions -- rather we need closed hierarchies. So one of my favourite low-impact suggestions are `Standard Unions`
https://github.com/dotnet/csharplang/blob/main/meetings/working-groups/discriminated-unions/union-proposals-overview.md#standard-type-unions
ChatGPT 5 finally rolled out to my Plus account overnight - I’m working on another #VibeCoding project with it. Impressed so far.
More: https://ai.wesfryer.com
Accidentally writing a fast SAT solver via @RunxiYu https://lobste.rs/s/hcfzef #compsci
https://blog.danielh.cc/blog/sat
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths https://lobste.rs/s/hct5qg #compsci
https://arxiv.org/abs/2504.17033
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens https://arxiv.org/abs/2508.01191 #paper#LLM #AI #compsci
p-fast trie: lexically ordered hash map by @fanf https://lobste.rs/s/b5a2ii #compsci
https://dotat.at/@/2025-08-04-p-fast-trie.html
Happy birthday to trailblazing American computer scientist Frances Elizabeth Allen (1932 – 2020) who made foundational contributions to optimizing compilers, optimizing programs and parallel computing. She was the first woman to become an IBM Fellow, where she worked from 1957 to 2002 and as an emeritus fellow afterwards. She was the first woman to win the Turing Prize.
IBM Research was recruiting teachers 1/n
What have papers about #cognitiveBias been focusing on since 2010?
Plenty of work on #behaviorChange or #visualization.
But human-computer interaction (#HCI) appeared in 2019 ...and became the plurality?
#Anonymity, forgetfulness, and forgiveness are essential aspects of digital #privacy and #security.
They are every bit as essential to the functioning of a healthy society as the traditional "Three A's" of information security: access controls, authentication of identity, and accounting (or accountability, if you prefer).
The Big OOPs:
Anatomy of a Thirty-five-year Mistake – BSC 2025
by Casey Muratori
https://www.youtube.com/watch?v=wo84LFzx5nI
I don't watch or attend a lot of conferences and talks these days, probably for the same reasons you shouldn't watch as much tv and believe it all as you used to.
But to me, at least, this is a deep and serious one worth your time in a fundamental way. If you are a programmer who actually cares about code, anyway.
Here is a cool, novel advanced #algorithm for tracking #stealth and can be used for #asteroid tracking, #spacejunk etc
Also. These mosaiced screen video, you can read the #obfuscated text.
#opsec #infosec implications
"pixel voxel motion projection"
Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
How do you compute the midpoint of an interval? (2014) https://lobste.rs/s/t8dsm3 #pdf #compsci
https://hal.science/file/index/docid/576641/filename/computing-midpoint.pdf
CSLib: An open-source Lean 4 library formalizing a significant subsetof undergraduate-level computer science. ~ Clark Barrett et als. https://docs.google.com/presentation/d/1aJFM3EaI4LcppHR_2YFQHiBjUfMMhMKxCeM3BfINi48 #ITP #LeanProver #CompSci