「 CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself 」
☢️ What John von Neumann really did at Los Alamos
—3 Quarks Daily
「 Johnny von Neumann was the multifaceted intellectual diamond of the 20th century. He contributed so many seminal ideas to so many fields so quickly that it would be impossible for any one person to summarize, let alone understand them. He may have been the last universalist in mathematics, having almost complete command of both pure and applied mathematics 」
Going back to the actual point that matters most, to me at least.
What's the total carbon footprint of the advertising and social media-based web? (Not just the highly optimised servers)
@vruz I couldn’t see any mention of which compilers they were using for the compiled languages. That makes it hard to compare the numbers for languages with multiple implementations.
Finally getting around to my new year’s resolution… I’m looking for PhD opportunities! I’m enjoying myself doing professional software dev right now, but I promised myself after my master’s that I’d try going back to academia eventually; this is the year I want to set that up. So I’m wondering if anyone on here knows of anything that's available. :>
Generally I’d love to do work involving programming languages in the broadest sense of the word, but also involving something that's not traditionally PL theory. For example:
Human factors in PL design: learnability, cognitive processing, etc.
Going beyond plain text for programming: graphical languages, alternative ways of storing & editing code (e.g. Unison), etc.
Applying proof assistants / type theories outside of pure mathematics: natural language semantics, experiment design, etc.
My name is Alessio, I have a PhD in computer science and work as a Research Software Engineer at the Netherlands eScience Center. My expertise is high-performance computing, and in particular acceleration of scientific software using GPUs and accelerators, and auto-tuning.
I'm trying to figure out the performance differences between 1Rx4 and 2Rx4 (single rank vs dual rank) memory modules.
From what I can logically conclude 2R (dual rank) should be slower, as you will have to wait a few cycles while switching between ranks, but it's incredibly hard to find information about this online.
Mostly because a lot of people confuse memory channels with memory ranks and this has poisoned the search results.
(Dual channel is faster then Single channel, but if I'm right Dual rank should be slower then Single Rank right?)
TL;DR:
Can anyone tell me the bandwidth and latency differences between 1Rx4 and 2Rx4 DDR4 RDIMM memory?
@Purple the performance loss is pretty miminal, to the point where it's probably statistically insignificant for your average workload.
the reason the single rank DIMMs are more expensive is that they have to use higher density DRAM ICs to reduce the capacitive loading, which makes them useful on 4DPC boards. but it looks like your board and CPU should handle this fine here.
@Purple this is also why LRDIMMs are a thing, btw. the DRAM ICs can only get so dense, so if you want 128GB or 256GB DIMMs you often need to go up to higher ranks (more ICs). but then you're increasing the bus load significantly, so running 2DPC or 4DPC with traditional RDIMMs at QR or 8R it gets extremely difficult without dropping the transfer speeds significantly (thus widening the timings).
LRDIMMs add a buffer IC between the ranks and the bus to reduce the capacitive loading.
Does anyone here have experience with procedural text generation? I want to implement procedural descriptions for the planets in my game which are not toooo repetitive to read :o I read about Markov chains but I'm not sure how I can incorporate the different planet parameters, features, etc. And I'm also wondering what other methods there are^^ #computerscience#python#gamedev#gamedevelopment#coding#development#compsci
@martijn AAAH kinda I have no idea xd It looks good and is prolly enough for simple descriptions^^ I'll take a few steps back from that problem and look into it again in a few days, it's kinda hard to get starting since I wanna achieve a certain complexity, I just dunno where to start
Any #compsci teachers who use GitHub Codespaces (or similar) for teaching? We're a Chromebook school and can't put student devices into developer mode because of reasons. Codespaces seems like a good fit for different runtimes, but I have zero experience.
Any tips or thoughts would be appreciated. We're hoping to start in fall of 2024, so I have some time to tinker.
For #ArtAdventCalendar Day 10: Happy birthday to Ada Lovelace (1815-1852), who published the first computer program. She worked together with Charles Babbage, the inventor of the Difference Engine and the Analytical Engine (the first - analogue! - #computers), correcting his notes on how to calculate Bernoulli Numbers with the Analytical Engine. 🧵1/n
@minouette Babbage's engines were not analogue, they were digital. The fact that the digits used were decimal and not binary should not confuse you here. There are analogue computers, of course, but they are quite different.