Yes! (from P. G. Neumann et al., "A Provably Secure Operating System", SRI Project 2581)
Yes! (from P. G. Neumann et al., "A Provably Secure Operating System", SRI Project 2581)
Un peu déçu pour Vita, mais GG Mongolz!
Wide shot of the new Computer Science building and the plaza in front of it as seen from Gates hall. They're putting in lots of landscaping and digging a pond on the other side and I'm excited to get a shot of that side as soon as I can
Workmen finishing up the fourth floor of the new CS building -- posting a sixth photo today because, unlike those daffodils, these won't be interesting when the building is no longer new
The new algorithm for directed cheapest routes "slices the graph into layers, moving outward from the source like Dijkstra’s. But rather than deal with the whole frontier at each step, it uses the Bellman-Ford algorithm to pinpoint influential nodes, moves forward from these nodes to find the shortest paths to others, and later comes back to other frontier nodes. It doesn’t always find the nodes within each layer in order of increasing distance, so the sorting barrier doesn’t apply. And if you chop up the graph in the right way, it runs slightly faster than the best version of Dijkstra’s algorithm. It’s considerably more intricate, relying on many pieces that need to fit together just right. But curiously, none of the pieces use fancy mathematics."
https://www.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/
The #computer #science dream has become a #nightmare
The coding=prosperity promise has officially collapsed
Fresh #computer #science #cs #graduates are facing #unemployment rates of 6.1% to 7.5% more than double what #biology and #art #history majors are experiencing
https://techcrunch.com/2025/08/10/the-computer-science-dream-has-become-a-nightmare/
Workmen finishing the first floor of the new computer science building
Update: got it, no further help needed.
I'm trying to publish a preprint of my paper for ICFP-2025 on https://arxiv.org. I need an endorsement to submit it to cs.SE category.
Can someone help me with that?
To endorse me, you need to have at least 3 articles published in cs.* categories for the last 5 years.
https://info.arxiv.org/help/endorsement.html
P.S. Got the endorsement, submitted the preprint for review. Kudos to @michaeldorner
https://www.europesays.com/2298297/ Supercoupe d’Europe, Ligue 1… Le calendrier du PSG en août #CalendrierPSG #CanalSupporters #cs #Europe #Ligue1 #Nantes/PSG #ParisSaintGermain #ParisSG #PSG #PSG/Angers #PSGTottenham #SupercoupeD'Europe #SuperCoupeUEFA #ToulousePsg #Une
Fresh landscaping on the side of Gates hall that I was able to photograph for the first time last week when they opened the plaze near the new CS building to the public
█ De Cristina Cifuentes a Joana Ortega, altres polítics esquitxats per inflar el currículum ▓▒░ La dimissió de Noelia Núñez del PP després de falsejar el currículum és l'enèsim cas d'un personatge polític que menteix sobre la seva formació
https://www.ccma.cat/324/de-cristina-cifuentes-a-joana-ortega-altres-politics-esquitxats-per-inflar-el-curriculum/noticia/3363600/?ext=MASTODON_ONLINE
@cstross “People who actually want a personal computer they can program are a niche market, albeit vastly larger than in 1982”
The roots of the #Mega65 lay in #CS #education with #students not being able to grasp the basics not because of lack of intelligence, but through the lack of exposure to basic computing hardware.
“By insulating new computer science and IT students from how computers really work, we may well be disadvantaging them, by preventing them from learning how a computer really works. It's quite the same idea as starting a mechanic on a simple old car, instead of on a nuclear submarine: make the important details visible so that they can be learnt.” — Paul Gardner-Stephen
<https://c65gs.blogspot.com/2015/12/is-this-first-academic-slide.html>
Opinión | Raúl García Araujo - En Corto | Teocaltiche grita, pero nadie escucha
#PeriodismoParaTi
@araujogar @GobiernoMX @Claudiashein @GobiernoMX #EnCorto #GarciaAraujo
#SSPC #Sedena #Semar #Segob #Teocaltiche #LemusNavarro #Jalisco #CJNG #CS https://wp.me/pcScKT-Jcx
Types of #Programmers in #CS and #IT:
• Theorist—seek new discoveries in computability theory, complexity theory, and type theory (Church, Turning, Kleene, Cook, etc.)
• Inventor—design, analyse, prove, and publish an original algorithm (Knuth, Dijkstra, Karp, Tarjan, etc.)
• Engineer—devise a correct, efficient implementation of a published algorithm (implementers of DSP, DIP, etc.)
• Translator—convert an algorithm's mathematical description directly into a programme (CS undergraduates)
• Cobbler—cobble together APIs into a programme that might, or might not, work (senior IT practitioners)
• Cutter—cut and paste existing bits of code into a programme that just might do something unexpected (mid-level IT practitioners)
• Cleaner—clean up senior team members' messy, buggy code, while leaving the existing bugs intact and adding a few new ones (junior IT practitioners)
• Generator—ask AI to write direct-to-production code that no IT practitioner in the team could be bothered to read (senior IT managers)
https://www.europesays.com/2225523/ Dourogás Group companies sold to Iberis Capital: advisors #BernardoAbreuMota #Cavaleiro&Associados #CS’Associados #dx2 #FranciscoAlbuquerqueReis #GasPrice #JoãoQuintelaCavaleiro #JoséLuísSilva #KPMG #LiquefiedNaturalGas #lng #LNGPrice #NaturalGas #PedroSeixasSilva #RicardoCardador #TiagoDaRochaMatos #VitorFurtadoSousa
My old introduction was very outdated, so it's time to reintroduce myself:
#introduction
Hi , I’m Laura.
I am a transfeminine person, somewhat in the middle of my transition. #trans #transbubble
A major part of my time I spend as a Postdoc in computer science, working on embedded AI and low-power IoT communication. #cs #TinyML #IoT #academia #science
Outside of work, I am active in the local #queer center (board member, GER: Vorstand), I enjoy playing board games, and I listen to too many #podcasts.
https://www.europesays.com/2205179/ Dembélé après PSG / IM:”J’espère bien finir avec ce Mondial” #BallonD'Or #CanalSupporters #canalsupporters #CoupeDuMonde #cs #Dembélé #france #LeoMessi #Nouvelles #Ousmane #paris #ParisSaintGermain #ParisSG #PSG #Une #wc #WorldCup
I have long suspected that any language with if's and loops would be Turing complete, turns out there was a proof for that all along...