Not at the moment, no. The EU's common laws don't have anything like the First Amendment guaranteeing a right to speech, which means that there can't be a court case like DJB v. USA serving as a permanent obstruction. Try seating more Pirates first.
- Posts
- 1
- Comments
- 96
- Joined
- 3 yr. ago
- Posts
- 1
- Comments
- 96
- Joined
- 3 yr. ago
You have no idea what an abstraction is. You're describing the technological sophistication that comes with maturing science and completely missing out on the details. C was a hack because UNIX's authors couldn't fit a Fortran compiler onto their target machine. Automatic memory management predates C. Natural-language processing has been tried every AI summer; it was big in the 60s and big in the 80s (and big in the 90s in Japan) and will continue to be big until AI winter starts again.
Natural-language utterances do not have an intended or canonical semantics, and pretending otherwise is merely delaying the painful lesson. If one wants to program a computer — a machine which deals only in details — then one must be prepared to specify those details. There is no alternative to specification and English is a shitty medium for it.
Haskell isn't the best venue for learning currying, monads, or other category-theoretic concepts because Hask is not a category. Additionally, the community carries lots of incorrect and harmful memes. OCaml is a better choice; its types don't yield a category, but ML-style modules certainly do!
@thingsiplay@beehaw.org and @Kache@lemmy.zip are oversimplifying; a monad is a kind of algebra carried by some endofunctor. All endofunctors are chainable and have return values; what distinguishes a monad is a particular signature along with some algebraic laws that allow for refactoring inside of monad operations. Languages like Haskell don't have algebraic laws; for a Haskell-like example of such laws, check out 1lab's Cat.Diagram.Monad in Agda.
I'm most familiar with the now-defunct Oregon University System in the USA. The topics I listed off are all covered under extras that aren't included in a standard four-year degree; some of them are taught at an honors-only level and others are only available for graduate students. Every class in the core was either teaching a language, applying a language, or discrete maths; and the selections were industry-driven: C, Java, Python, and Haskell were all standard teaching languages, and I also recall courses in x86 assembly, C++, and Scheme.
The typical holder of a four-year degree from a decent university, whether it's in "computer science", "datalogy", "data science", or "informatics", learns about 3-5 programming languages at an introductory level and knows about programs, algorithms, data structures, and software engineering. Degrees usually require a bit of discrete maths too: sets, graphs, groups, and basic number theory. They do not necessarily know about computability theory: models & limits of computation; information theory: thresholds, tolerances, entropy, compression, machine learning; foundations for graphics, parsing, cryptography, or other essentials for the modern desktop.
For a taste of the difference, consider English WP's take on computability vs my recent rewrite of the esoteric-languages page, computable. Or compare WP's page on Conway's law to the nLab page which I wrote on Conway's law; it's kind of jaw-dropping that WP has the wrong quote for the law itself and gets the consequences wrong.
Indeed, the best attribution gives it to Upton Sinclair in 1917 and likely reflected anxieties of WW1, not WW2; Sinclair wasn't saying it themselves, but attributing it to a government employee. This doesn't disconnect them, but shows that WW1 was the common factor.
My
$HOMEis recreated on boot and lives in RAM. I don't care what gets written there; if I didn't know about it and intend to save it to disk, then it won't be saved. It would be nice if tools were not offenders here, but that doesn't mean that we can't defend ourselves somewhat.I've used this driver to stream a write to a disc. It's unfortunate that we can't have this technology, but it's always been janky, and these days it costs less than $1 of RAM to buffer a CD or $5 to buffer a DVD before writing.
I mirror some specific repositories of mine to GH specifically so that they will be included in Copilot's training data. It amuses me when chatbots think that they know Lojban or Metamath, can't distinguish RPython from Python 2.7, or think that Monte is Mathematica. Some languages, particularly Zaddy, are likely so confusing and have such small corpora that chatbots will never be able to generate them; their inclusion in training data is possibly unhelpful.
No, I don't keep everything there. In particular Cammy is only publically available via the notoriously unreliable OSDN mirror because I don't trust folks to understand purity, functions, and category theory.
It's a multi-decade tradition that goes back to Project Athena, a collaboration between MIT, DEC, and IBM. X11's reference implementation has been the main flag-bearer of the license, propagating it forward to many freedesktop.org projects.
Also, the author has a standalone blog post on the topic from 2011, Expression Parsing Made Easy.
Put a rescue distro on a USB stick. When you first boot the laptop, use the rescue distro. Write down the USB IDs (
lsusb) and PCI IDs (lspci). Read through the kernel boot log (sudo dmesg | less) and write down the names of any kernel drivers that might matter; WiFi, GPUs, USB bridges, and keyboard layouts are important in particular. For laptops, look up manufacturer-specific drivers for keyboards, fans, and power management.Linux requires about 8MiB of RAM to boot. The entire netbook movement relied on machines with 2GiB or less; I remember putting Linux onto a 2GiB Sony VAIO that had struggled to boot Windows. Your laptops aren't too small, but you may be choosing distros with poor hardware support or large monolithic packages. I bet that one of Debian, Gentoo, or NixOS would boot on those machines that still work; of those, Debian is probably easiest.
Old laptops sucks. Windows use to be very efficient. XP and 7 has held up very well after all these years. And most importantly Linux isn’t a one size fits all solution.
Nah, Windows sucked back then too. If a machine boots Windows XP or Windows 7, then it can easily be made to boot an out-of-the-box Linux distro. The Asus machine you listed might have some boot issues, but the Acer and Dell do not appear different from any of the Acers or Dells that I've put Linux on in the past decade. My daily driver is a $150 refurbished Dell Latitude 5390 running NixOS.
It's not even an analogy; pointers and reference mechanics are the same concept in programming and linguistics. See the page on referents for an example blend of viewpoints.
Why not? What tone would you take if you wanted folks to regret posting unpaid advertisements?
I would rather use Magic Wormhole if I have to have an intermediate server operated by somebody else.
Your protocol isn't documented enough to allow interoperability. It is important for folks to be able to develop their own clients and frontends; the ecosystem becomes richer and more resilient to attacks when there are many different implementations.
I'm not sensing an awareness of capabilities. Access to a file is one of the classic examples of a capability and a file-sharing system should be oriented around ensuring that references to files are unforgeable and copyable.
The terms of service are unacceptable and I won't be trying out the product. I can point at exactly what's wrong; talk to your attorney for details.
Users are expected to respect the intellectual property rights of others when using the app.
You don't understand what file-sharing technology is used for.
We reserve the right to introduce tools and technologies for monitoring the performance of the app and improving its functionality. By using the app, you acknowledge and agree to this potential monitoring.
Ah yes, because telemetry has never been met with user backlash.
The company does not collect user data, apart from what is needed for monitoring tools to ensure the app's stability and to make improvements.
You don't need user data for that. Y'know what's a lot easier? Just don't collect user data!
We may also use Sentry.io for error monitoring and NLevel Software for analytics.
I block those.
The app may include functionality to report users, and we reserve the right for this functionality to send necessary details for any investigation.
Ah yes, completely fair that somebody accused of misbehavior gets their local data exfiltrated too.
Meanwhile Magic Wormhole merely tells us that it is MIT licensed and we can do whatever we like with it.
And here we see the self-Godwin in the wild. Masterful play, sir.
Neither the CFO nor CEO are saying that Google ought to be not broken up. They are saying that Mozilla existentially depends on Google. This is actually more of a central point in the lawsuit than you think; in the original complaint, part 6 of the background is about revenue-sharing agreements (RSAs) between Google and various other companies who would normally compete in search, browsers, and other venues. That is, nobody is disputing that:
Today, Google has RSAs with nearly every significant non-Google browser (other than those distributed by Microsoft) including Mozilla's Firefox, Opera, and UCWeb. These agreements generally require the browsers to make Google the preset default general search engine for each search access point on both their Web and mobile versions.
If Mozilla did want to petition the court, then they are welcome to file as amici, but they haven't! Nor have any court filings included a reference to the CFO's testimony so far, although to be fair the testimony isn't yet available to read. There is no evidence that Mozilla will stand in the way of whatever the court decides to do with Google. Rather, in their post, the CEO is asking lawmakers to figure out some way to ensure that the browser market remains competitive:
Mozilla calls on regulators and policymakers to recognize the vital role of independent browsers and take action to nurture competition, innovation, and protect the public interest in the evolving digital landscape.
Courts aren't regulators or policymakers. The complaint before the court is not the same as the underlying principles of antitrust which motivated the complaint. A request to improve the future is not the same as a request to forestall the present.
The author would do well to look up SGML; Markdown is fundamentally about sugaring the syntax for tag-oriented markup and is defined as a superset of HTML, so mistaking it for something like TeX or Word really demonstrates a failure to engage with Markdown per se. I suppose that the author can be forgiven somewhat, considering that they are talking to writers, but it's yet another example of how writers really only do research up to the point where they can emit a plausible article and get paid.
It’s worth noting that Microsoft bought PowerPoint, GitHub, LinkedIn, and many other things—but it did in fact create Word and Excel. Microsoft is, in essence, a sales company. It’s not too great at designing software.
So close to a real insight! The correct lesson is that Microsoft, like Blizzard, is skilled at imitating what's popular in the market; like magpies, they don't need to have a culture of software design as long as they have a culture of software sales. In particular, Microsoft didn't create Word or Excel, but ripped off WordPerfect and Lotus 1-2-3.
Become a kernel contributor first. I don't think it's acceptable to stand outside a community and ask how you can control it by throwing money at it.
Well, here is a very funny one-off commit, but my biggest effort was probably substantial parts of a couple AMD/ATI GPU drivers, well-summarized here. As usual, that was a team effort, with particular credit to Deucher (AMD), Glisse (
radeonmaintainer), and Airlie (DRM/DRI maintainer). So, put up or shut up. Or, to paraphrase the sentiment that you seem to not grok: talk is cheap; show us your code.Let me make it clear. I call out brigading because it is useless noise that distorts and obfuscates the kernel development process. I don't care that you're salty that I'm pointing out that your "absolute crickets" comment is not only incorrect, but empty in the sense that your lack of perception is not a substitute for the actual process of kernel development. Additionally, in this case, it seems like you're still focused on personalities rather than the underlying computer science; I expect "absolute crickets" when asking you about the topic of memory safety.
No, this is an explanation of dataflow programming. Functional programming is only connected to dataflow programming by the fact that function application necessarily forces data to flow. Quoting myself on the esolang page for "functional paradigm":
This definition comes from a famous 1970s lecture. The author is a Scala specialist and likely doesn't realize that Scala is only in the functional paradigm to the extent that it inherits from Lisps and MLs; from that perspective, functional programming might appear to be a style of writing code rather than a school of programming-language design.