scala> type Something = Nothing => Nothing#dev #tech #software #math #scala #TypeTheory
// defined alias type Something = Nothing => Nothing
scala> summon[Something =:= Nothing]
-- [E172] Type Error: ----------------------------------------------------------
1 |summon[Something =:= Nothing]
| ^
| Cannot prove that Something =:= Nothing.
1 error found
dev
#tech #dev #software #SoftwareDevelopment
I realize this is beside the point, but personally I view the fact that code review is not considered interesting as a serious failure of computer science education. I'm invested in the latter, so it stands out for me.
On the whole writers tend to love to read. I think they love it in part because their education led them to realize that learning to read well is both a good in itself and helps you become a better writer. Programming languages were designed to be human readable so that humans could read them. Yet we have a couple generations of people writing code most of whom were never explicitly taught how to read it, let alone learn to love reading it.
#tech #dev #software #SoftwareDevelopment #ComputerProgramming #ComputerScience #ComputerScienceEducation
〈A List of Kitchen Sink Posts〉
Discover why kitchen sink posts are essential for testing rendering and features in the ATmosphere network.
gamut.youronly.one/kitchen-sink...
#dev #readers #ATmosphere #SocialWeb
A List of Kitchen Sink Posts
update-notifier-crash on Ubuntu 24.04 wrote 1 Tbyte of garbage to syslog before I noticed and stopped it. I noticed because it filled the disk.Unbelievably annoying behavior. I guess that'll teach me to ignore an update notification rather than figuring out how to disable it forever.
#linux #ubuntu #syslog #SpamLogging #tech #dev
Almost _all_ the cost of software is in the future. That's part of why _any_ new feature is alluring. It _appears_ inexpensive from here. Turns out the cost is just unknown.
YAGNI (you aren't gonna need it) doesn't just apply to functions, methods, or classes. It applies to entire feature sets that sound neat, fun, or interesting. Someone has to maintain that shit for the lifespan of the software unless it's explicitly deprecated which simply doesn't happen, in my experience.
Salut le Fediverse ! Moi c'est Aro. Étudiant en informatique de gestion, passionné par le code (Java, Vue.js, C++), le Pixel Art et le gaming/Linux. Hâte d'échanger avec vous ! #Introduction #Dev #PixelArt #linux
Brendt / PHP Annotated makes videos about programming in PHP and coding generally. You can follow at:
➡️ @brendt
(Don't worry if it looks blank to you, that just means no one from your server follows it yet. Follow the account and its videos will start gradually showing up on your server too.)
You can also follow their non-video account at @brendt@phpc.social
I've taken part in numerous computer science research projects that involved IRB review. I believe the system can work, even for cases like the above post. But Google and Stanford are bad actors that are taken at their word, and no system, IRB based or otherwise, is going to function properly if it cannot appropriately metabolize this reality.
I was once in a meeting where a Google X person gushed about a project that used smartphone sensor data to detect earthquakes. The calculus being set up here is that detecting earthquakes is a social good that outweighs any particular individual's right to privacy and even outweighs their right to know that their smartphone is being used in this way, let alone consent to it in any meaningful way. (*) Let me be clear and say I reject this framing, but it does appeal to a lot of people, even well-meaning ones. A mess.
#Google #IRB #ethics #EthicsReview #ComputerScience #research #ResearchEthics #tech #dev
(*) I assume there's some contortion involving EULAs whereby Google X can pretend that anyone using Android consented to having their smartphone's sensor data used for any future purpose Google et al. cooks up.
I think the most important question is: why does anyone comply with what one incurious, self-centered, and self-important man, Linus Torvalds, says?
Why is that most important? Because Linux does not belong to Linus Torvalds. It belongs to the world. Torvalds only gets to dictate if the people who are best-positioned to take that power from him fail to do so. From where I sit (as an outsider), he should have been removed from the project, or at least have his dictatorial power removed, long ago, and the primary problem is that there is no structure or will to actually do that.
Under these conditions Linux is a hierarchical, and therefore right-wing, project. The project allows a single man to dictate the future evolution of a global good. Let's drop the illusion that it is "free" or "open" till that changes.
#dev #tech #FOSS #FLOSS #LOSS #linux #kernel #AI #LLM
Programming languages' official accounts on the Fediverse:
@chapelprogramminglanguage - Chapel
@DylanLang - Dylan
@golang - Go
@haskell - Haskell
@pharoproject - Pharo
@php - PHP
@thephpf - PHP Foundation
@ThePSF - Python Software Foundation
@R_Foundation - R Foundation
@rust - Rust
@rustfoundation - Rust Foundation
@ruxlang - Rux
@swiftlang - Swift
@unison - Unison
@vala_lang - Vala
#ProgrammingLanguages #Programming #Coding #SoftwareDevelopment #Dev
Today, youtuber dzuma made a video about my age verification bypass browser extension.
And since then, I've got a nonstop influx of people downloading the add-on, and it became the mosr starred one on my GitHub in just a matter of hours!
So, thanks a lot!! Glad I'm not the only one who's annoyed by this!
The video :
https://www.youtube.com/watch?v=VBL76_0jD8k
The extension :
https://github.com/helloyanis/age-verification-bypass
While the linked post's/article's warning is specifically about the upcoming US midterm elections, I think its reasoning is more broadly applicable. Observing that current AI dovetails perfectly with the MAGA political project, it applies also to the rhetoric about the inevitability of AI. That, too, stems from a limitless authoritarian impulse and represents an attempt to impose a particular will on all of us. The various forms of defeatism accompanying such rhetoric, which includes the different flavors of AI doomerism, serve only to help such authoritarians achieve their goals.
This view also highlights that there is no middle ground, no compromise, with LLM proponents. Like MAGA, they have no limits themselves, which they repeatedly express openly. How could they possibly compromise?
#AI #GenAI #GenerativeAI #LLMs #Agents #Anthropic #OpenAI #MAGA #doom #tech #dev
#PassionSondages ☝️😐
[ANNONCE SONDAGE]
SUJET : L'IA 🦾🤖 et vous 💪😡
Ce futur sondage aura pour objectif de vous laisser voter pour divers sujets et items sous la forme de sondages à 4 choix (parfois choix unique, parfois choix multiples).
Le thread sera en anglais afin d'en assurer une large diffusion.
Si vous avez des idées de questions, je prends ! 🤗 (Et crediterai)
#AI #NoAI #AISlop #LLM #MachineLearning #Algorithms #GenAI #AIArt #AIAds #Hallucinations #Dev #Code #AIMaths #AiMusic #AIResearch #DeadInternetTheory #MassSurveilance #AINeutrality #ChatGPT #Gemini #Suno #Midjourney #Prompts #IHaveNoMouthAndIMustScream #RokosBasilisk #EndOfWork #DeepFake
#dev #tech #web #CloudFlare #SecurityTheater #WhatIsTheHuman
"Politics" isn't only about institutions. It's about organizing large numbers of people to do something they wouldn't otherwise do. Corporations organize large numbers of people to do things they probably wouldn't do if they weren't paid and/or didn't need the money to live. 10,000 people wouldn't spontaneously get together and spend the best hours of their days for months building a commercial jet airliner if there weren't corporate structures in place and a society that keeps them close enough to deprivation that they will do this in exchange for money.
#FOSS #OSS #OpenSource #software #OpenSourceSoftware #tech #dev #SoftwareDevelopment #politics #economics #corporations
This is an excellent thread and I recommend reading the whole thing. I'd like to say that it's getting at why competent software developers are implementing gradient ascent while LLMs+test suites are implementing generate-and-test or hillclimbing. People who know and understand a codebase are able to make changes to it that have a high probability of being improvements according to however you measure that. Stochastic code generation filtered by a static test suite is expected to be orders of magnitude slower at achieving the same improvement. This is a fundamental GOFAI result (the "knowledge-search tradeoff" or the "representation problem") but it applies to a wide swath of optimization problems.
Let's also not forget that optimization generally can only occur in small worlds, while humans---software developers and users alike---exist in large worlds. Databases, physics engines and other simulators, and research tools all have an open-ended space of possible applications ("extension") that cannot be anticipated, let alone tested for, in advance. Understanding the intended inner workings ("intension") of such systems is crucial to building them in such a way that they can support and continue to grow with their evolving applications.
#AI #GenAI #GenerativeAI #LLM #coding #software #dev #tech
boa noite federação universal
sou desenvolvedor de software (juninho) tenho três trabalhos (as vezes mais), mas gostaria de contribuir (ou pelo menos estar ciente) de possiveis projetos de desenvolvimento colaborativo pela expansão da nossa rede e da nossa ação!
situação histórica estamos vivendo hoje, e temos sim o possível para estar a altura!
sorte pra nós!
#apresentação #open-source #dev #anarchism #anarquismo #socialismo #comunismo
#dev #Haskell #FunctionalProgramming #ProgrammingLanguages #ComputerScience
#dev #tech #games #GameDev #AI #GenAI #GenerativeAI

🇵🇸