HN user
I'm the co-creator of agentre-bench, an agentic benchmark that measures how well models can reverse engineer malware. Currently it measures only ELF malware but PE will be included in the next update. We also just released a Qwen 3.59b model, https://huggingface.co/AgentreBench/xref-9b This model went through SFT, then reinforcement learning, specifically IPO. Our research has recently been mentioned by several universities as well.
My team and I have worked on an agentic benchmark to see how well agents can perform at reverse engineering threats. The results are pretty interesting, we would love the communities feedback.
Over the last year I’ve been building RacoGrad, a deep learning library written in Racket (a Lisp). It started as an experiment in understanding autodiff and neural nets from first principles, but it’s grown into something surprisingly usable.
Recently, with help of opencalw I added transformer support and finished a working GPT-2 implementation. The model loads pretrained GPT-2 weights and runs end to end inference entirely in Racket.
Large language models (LLMs) demonstrate impressive capabilities across numerous domains, from programming and technical support to cooking instructions and research enhancement. However, they continue to struggle with precise symbol manipulation in tasks requiring rigorous logical reasoning, mathematical proofs, and complex algebraic operations. As a student of philosophy and computer science, I find this intersection especially fascinating because of the connections between logical precision and conceptual clarity.
They invented the transformer architecture that powers GPT and other llms.
This just isn’t true either. There are contemporary sources who talk about him.
Where did you come up with this ? This is just not true, that Pythagoras had little interest in math. He had a love of numbers and thought that math was a way to the divine or at least understanding the divine. His philosophy, not religion , but philosophy was a way of life that entangled mathematics profusely.
Hi all, I created a site that does pattern matching on malware binaries. Let me know what you all think.
My AI safety startup
Synapticyte is my startup dedicated to stopping school and workplace shootings using advanced AI technology. We’ve developed a highly accurate model for identifying firearms and are working on building a robust alert system. This system will enable schools or organizations to notify police, faculty, and staff when weapons are detected. Our model leverages a combination of Convolutional Neural Networks (CNN) and transformers. Although it’s still in the early stages, we believe this is a powerful and important application of AI technology.
Synapticyte is my startup dedicated to stopping school and workplace shootings using advanced AI technology. We’ve developed a highly accurate model for identifying firearms and are working on building a robust alert system. This system will enable schools or organizations to notify police, faculty, and staff when weapons are detected. Our model leverages a combination of Convolutional Neural Networks (CNN) and transformers. Although it’s still in the early stages, we believe this is a powerful and important application of AI technology.
MIND is a simple, educational framework for building feedforward neural networks. Includes tensor operations, activation functions, and backpropagation. Ideal for learning core deep learning concepts and exploring Racket. Future updates will be released!
Introducing BlokAv it’s a modern antivirus utilizing blockchain to allow for rapid updates and community consensus on voting and recognizing malicious files. This is still a work in progress. I did this to learn and also to give something to the community. There also aren’t many open source AV options besides ClamAV.
Behavior analysis, signature scanning, sandboxing for Linux, blockchain implementation etc are deployed but still being worked on. A windows update will come in the future. I screwed the code up and just decided to restart it. The signature scan for now requires a hardcore path to a hash list. I’m working on downloading the list from a server. I’d love any feedback etc.
Nils just wanted to say I love your work. I have your C compiler book and one of your lisp compiler ones as well. I’ve learned a lot and your work has helped me appreciate compilers a lot more, so thanks!
He's not proven guilty because the issue is did he cheat OTB when he played Magnus. The answer is no.
I actually work in an industry that utilizes these a lot. Google, tiktok, meta etc. I implement the code on our customers sites. It's crazy how much data these scripts collect.
Well this sucks I wanted to try it lol. It's timing out for me or throws an error.
I use this on Linux to read documents. It's great.
Yep this is the correct answer. Some many variables in Linux could cause an issue, like freezing.
Lmfao
correction the interview isn't a lead dev of NSO but from a third party who investigate malware attacks on reporters etc