felixlinker

57 Followers
123 Following
80 Posts
πŸ§‘β€πŸŽ“ Postdoc in infsec+netsec @ ETHZ, researching protocol analysis and design
Homepagehttps://felixlinker.de/
GitHubhttps://github.com/felixlinker

I'm a big fan of this explanation/rant from Andrew Murphy.

Taken as a whole, there are many bottlenecks in a corporate software development process. The "load-bearing" calendar is a great example!

Speeding up code creation just increases pressure on the bottleneck, which decreases throughput.

https://andrewmurphy.io/blog/if-you-thought-the-speed-of-writing-code-was-your-problem-you-have-bigger-problems

If you thought the speed of writing code was your problem - you have bigger problems | Debugging Leadership

AI coding tools are optimising the wrong thing and nobody wants to hear it. Writing code was already fast. The bottleneck is everything else: unclear requirements, review queues, terrified deploy cultures, and an org chart that needs six meetings to decide what colour the button should be.

Debugging Leadership

Watching the livestream of the Artemis II launch, I just witnessed one of the astronauts type in the password on their tablet while sitting in the capsule on camera.

#ArtemisII #Artemis #Artemis2 #NASA #InfoSec #cybersecurity #OpSec #Privacy #SpaceExploration

ML-DSA standard contains the word "bit" 256 times. Coincidence? I think not!

https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.204.pdf

Interesting to see Copilot injecting ads into PR descriptions. Although there are a handful of older instances of this, if GitHub search is working properly, it looks like this started happening at scale around 10 days ago with more than 1k injections of this particular ad per day since then (if you search for other ad strings, you can find the rate of other ads)

https://github.com/search?q=%22%E2%9A%A1+Quickly+spin+up+copilot+coding+tasks+from+anywhere+on+your+macOS+or+Windows+machine+with+Raycast%22&type=pullrequests&s=created&o=asc&p=1

What will they think of next?

What a great set of awardees for the #Levchin prize 2026

πŸ† Whitfield Diffie and Martin Hellman for the invention (and publication 🀭) of Public Key Cryptography πŸ”

πŸ† The Tamarin team for the developement of the Tamarin prover and its use in verifying security protocols

Well-deserved πŸ‘

#RealWorldCrypto

@sophieschmieg One wonders whether 59% of executives estimating something about the quantum AI teaches us more about the likelihood of quantum AI or more about 59% of executives.
@bmaxv @stf I also use "[] is primary"/"() is secondary" as a mental model. Never occurred to me this might be unintuitive for some.
Mistress Usili (Sage) πŸ³οΈβ€βš§οΈ (@usili.bsky.social)

Bluesky Social

@filippo Using AI to generate test cases for my current project, and it's just so valuable. Would have never done that on my own. Especially because the cost of setting up the entire testing pipeline is often quite high for me (remembering or learning a testing framework).

I use QuickCheck for Haskell, i.e., I test invariants on my code with random inputs. It's so nice to describe the expected invariants in natural language and have them almost ready to test.

Honey wake up, new windows activation key just dropped

https://www.justice.gov/epstein/files/DataSet%201/EFTA00002467.pdf