#computerengineering — Public Fediverse posts

BINND is a deep learning model designed to predict how different DNA molecules bind to one another. Trained on a massive empirical dataset, it accurately maps the hypercomplex, non-orthogonal binding relationships found in biological systems.
#ArtificialIntelligence #SyntheticBiology #ChemicalEngineering #BiomolecularEngineering #Bioinformatics #ComputerEngineering #sflorg
https://www.sflorg.com/2026/07/ai07142602.html

Project Manager for Data Science -- Arnaout Lab @UCSF
Arnaout Lab @UCSF

See the full job description on jobRxiv: https://jobrxiv.org/job/arnaout-lab-ucsf-27778-project-manager-for-data-science-arnaout-lab-ucsf/

#computerengineering #computerscience #computervision #dataengineering #healthdatascience #medicalimaging #ScienceJobs #hiring #research
https://jobrxiv.org/job/arnaout-lab-ucsf-27778-project-manager-for-data-science-arnaout-lab-ucsf/?fsp_sid=12041

How NASA Built Artemis II’s Fault-Tolerant Computer

https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/

#HackerNews #NASA #Artemis #II #FaultTolerance #SpaceTech #ComputerEngineering

Project Manager for Data Science -- Arnaout Lab @UCSF
Arnaout Lab @UCSF

See the full job description on jobRxiv: https://jobrxiv.org/job/arnaout-lab-ucsf-27778-project-manager-for-data-science-arnaout-lab-ucsf/

#computerengineering #computerscience #computervision #dataengineering #healthdatascience #medicalimaging #Projectmanagement #ScienceJobs #hiring #research
https://jobrxiv.org/job/arnaout-lab-ucsf-27778-project-manager-for-data-science-arnaout-lab-ucsf/?fsp_sid=10841

150 years ago, Wilhelm von Bezold delivered the first lecture on electrical telegraphy at our #university! This laid the foundation for a discipline that continues to shape our daily lives to this day: #electrical and #computerengineering: http://go.tum.de/187885

📷A. Heddergott

Senior Cloud/Infrastructure Engineer
Malva @ BIH-DHA

See the full job description on jobRxiv: https://jobrxiv.org/job/malva-bih-dha-27778-senior-cloud-infrastructure-engineer/

#cloudcomputing #computerengineering #dataengineering #highperformancecomputing #ScienceJobs #hiring #research
https://jobrxiv.org/job/malva-bih-dha-27778-senior-cloud-infrastructure-engineer/?fsp_sid=10169

I saw this on Mastodon and almost had a stroke.

@davidgerard wrote:

“Most of the AI coding claims are conveniently nondisprovable. What studies there are show it not helping coding at all, or making it worse

But SO MANY LOUD ANECDOTES! Trust me my friend, I am the most efficient coder in the land now. No, you can’t see it. No, I didn’t measure. But if you don’t believe me, you are clearly a fool.

These guys had one good experience with the bot, they got one-shotted, and now if you say “perhaps the bot is not all that” they act like you’re trying to take their cocaine away.”

First, the term is falsifiable, and proving propositions about algorithms (i.e., code) is part of what I do for a living. Mathematically human-written code and AI-written code can be tested, which means you can falsify propositions about them. You would test them the same way.

There is no intrinsic mathematical distinction between code written by a person and code produced by an AI system. In both cases, the result is a formal program made of logic and structure. In principle, the same testing techniques can be applied to each. If it were really nondisprovable, you could not test to see what is generated by a human and what is generated by AI. But you can test it. Studies have found that AI-generated code tends to exhibit a higher frequency of certain types of defects. So, reviewers and testers know what logic flaws and security weaknesses to look for. This would not be the case if it were nondisprovable.

You can study this from datasets where the source of the code is known. You can use open-source pull requests identified as AI-assisted versus those written without such tools. You then evaluate both groups using the same industry-standard analysis tools: static analyzers, complexity metrics, security scanners, and defect classification systems. These tools flag bugs, vulnerabilities, performance issues, and maintainability concerns. They do so in a consistent way across samples.

A widely cited analysis of 470 real pull requests reported that AI-generated contributions contained roughly 1.7 times as many issues on average as human-written ones. The difference included a higher number of critical and major defects. It also included more logic and security-related problems. Because these findings rely on standard measurement tools — counting defects, grading severity, and comparing issue rates — the results are grounded in observable data. Again, I am making a point here. It’s testable and therefore disproveable.

This is a good paper that goes into it:

In this paper, we present a large-scale comparison of code authored by human developers and three state-of-the-art LLMs, i.e., ChatGPT, DeepSeek-Coder, and Qwen-Coder, on multiple dimensions of software quality: code defects, security vulnerabilities, and structural complexity. Our evaluation spans over 500k code samples in two widely used languages, Python and Java, classifying defects via Orthogonal Defect Classification and security vulnerabilities using the Common Weakness Enumeration. We find that AI-generated code is generally simpler and more repetitive, yet more prone to unused constructs and hardcoded debugging, while human-written code exhibits greater structural complexity and a higher concentration of maintainability issues. Notably, AI-generated code also contains more high-risk security vulnerabilities. These findings highlight the distinct defect profiles of AI- and human-authored code and underscore the need for specialized quality assurance practices in AI-assisted programming.

https://arxiv.org/abs/2508.21634

Something I’ve started to notice about a lot of the content on social media platforms is that most of the posts people are liking, sharing, and memetically mutating—and then spreading virally—usually don’t include any citations, sources, or receipts. It’s often just some out-of-context screenshot with no reference link or actual sources.

A lot of the anti-AI content is not genuine critique. It’s often misinformation, but people who hate AI don’t question it or ask for sources because it aligns with their biases. The propaganda on social media has gotten so bad that anything other than heavily curated and vetted feeds is pretty much useless, and it’s filled with all sorts of memetic contagions with nasty hooks that are optimized for you algorithmically. I am at the point where I will disregard anything that is not followed up with a source. Period. It is all optimized to persuade, coerce, or piss you off. I am only writing about this because this I’m actually able to contribute genuine information about the topic.

That they said symbolic propositions written by AI agents (i.e., code) are non-disprovable because they were written by AI boggles my mind. It’s like saying that an article written in English by AI is not English because AI generated it. It might be a bad piece of text, but it’s syntactically, semantically, and grammatically English.

Basically, any string of data can be represented in a base-2 system, where it can be interpreted as bits (0s and 1s). Those bits can be used as the basis for symbolic reasoning. In formal propositional logic, a proposition is a sequence of symbols constructed according to strict syntax rules (atomic variables plus logical connectives). Under a given semantics, it is assigned exactly one truth value (true or false) in a two-valued logic system.

They are essentially saying that code written by AI is not binary, isn’t symbolically logical at all, and cannot be evaluated as true or false by implying it is nondisproveable. At the lowest level, compiled code consists of binary machine instructions that a processor executes. At higher levels, source code is written in symbolic syntax that humans and tools use to express logic and structure. You can also translate parts of code into formal logic expressions. For example, conditions and assertions in a program can be modeled as Boolean formulas. Tools like SAT/SMT solvers or symbolic execution engines check those formulas for satisfiability or correctness. It blows my mind how confidently people talk about things they do not understand.

Furthermore that they don’t realize the projection is wild to me.

@davidgerard wrote:

“But SO MANY LOUD ANECDOTES! Trust me my friend, I am the most efficient coder in the land now. No, you can’t see it. No, I didn’t measure. But if you don’t believe me, you are clearly a fool.”

They are presenting a story—i.e., saying that the studies are not disprovable—and accusing computer scientists of using anecdotal evidence without actually providing evidence to support this, while expecting people to take it prima facie. You’re doing what you are accusing others of doing.

It comes down to this: they feel that people ought not to use AI, so they are tacitly committed to a future in which people do not use AI. For example, a major argument against AI is the damage it is doing to resources, which is driving up the prices of computer components, as well as the ecological harm it causes. They feel justified in lying and misinforming others if it achieves the outcome they want—people not using AI because it is bad for the environment. That is a very strong point, but most people don’t care about that, which is why they lie about things people would care about.

It’s corrupt. And what’s really scary is that people don’t recognize when they are part of corruption or a corrupt conspiracy to misinform. Well, they recognize it when they see the other side doing it, that is. No one is more dangerous than people who feel righteous in what they are doing.

Hey! I'm JJ, a #computerengineering student, junior #cybersecurity analyst and #iot / #embedded nerd.

I am currently working on an embedded #Linux based Honeypot, and using it to learn about pure #C , #crossCompiling and #LinuxKernel

I am also very interested in #hardwareHacking , #malware , #revereEngineering and overall low level stuff.

Also am #FOSS lover.

Moved profiles form mastodon.social recently. I hope the fediverse gives me a healthier relationship with social media.

Hey! I'm JJ, a #computerengineering student, junior #cybersecurity analyst and #iot / #embedded nerd.

I am currently working on an embedded #Linux based Honeypot, and using it to learn about pure #C , #crossCompiling and #LinuxKernel

I am also very interested in #hardwareHacking , #malware , #revereEngineering and overall low level stuff.

#introduction

Hype for the Future 22C: Plans for novaTopFlex

https://novatopflex.wordpress.com/2025/11/22/hype-for-the-future-22c-plans-for-novatopflex/

Cybersecurity Event in Review

https://novatopflex.wordpress.com/2025/11/06/cybersecurity-event-in-review/

High level languages pretty much killed the job market for assembly language programmers. AI is killing the job market for high level language programmers.

https://www.geekwire.com/2025/coding-is-dead-uw-computer-science-program-rethinks-curriculum-for-the-ai-era/

My take: It will be quite a few years before you can do 100% of your programming in AI prompts. OTOH, the day when your primary language of choice is something like Java or C# are numbered.

#ai #programming #computerscience #computerengineering #vibeprogramming

So, question for the hardware hacking community out there!

I'm looking at an ECE dual degree, for the sake of going down the hardware hacking path, anyone have any insights on this?

#hardwarehacking #electricalengineering #computerengineering #hacker #hardware

New account, so new #introduction. Let's do it again!

I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop #OpenSourceSoftware such as
- a #SphinxDoc extension that embed #Fediverse comments on your page
- a library to talk to #ManifoldMarkets from native #Python
- a #PredictionMarket manager using the above
- a #transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
- bug fixes to many other projects, including #mypy, #base58, #attrs, #CPython, & more

I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive) See here for more on them!

I speak English fluently, Spanish haltingly, and am trying to learn Chinese

#queer #Chicago

Oh dang, my #introduction post is waaay out of date now. Let's do it again!

I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop #OpenSourceSoftware such as

• a library to talk to #ManifoldMarkets from native #Python
• a #PredictionMarket manager using the above
• a #transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
• bug fixes to many other projects, including #mypy, #base58, #attrs, #CPython, & more

I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive)

#queer #Chicago

I’m a computer hardware engineering student that’s stuck in the “I’m 28 years old and tested into the lowest math class when I applied for college last year so I’m currently taking a precalculus course in my third semester and can’t take my first engineering course until I take like two more math classes” pit, so I ask:

If I wanted to get into the electrical, engineering, computer, and hardware stuff in a DIY sense to sort of supplement my learning until I get to the actual courses, where would be a good place to start with that? Keep in mind I am very broke at all times.

I appreciate any tips I get in advance thank you.

#CompEng #ComputerEngineering #HardwareEngineering #ElectricalEngineering #CompSci #Hardware #Electronics

There are several PhD student positions currently available in our group, and though the Data Science in Hamburg DASHH graduate school.

Check out https://v22.desy.de https://www.dashh.org or https://buff.ly/4eCDmrK for more details!

#particlePhysics #academicjobs #datascience #Hamburg #phdlife #phdscholarship #student #physics #stem #computerscience #computerengineering #machinelearning #scholarships

Good video 👀

https://m.youtube.com/watch?v=dX9CGRZwD-w

#engineering #computerengineering #manufacturing #stem