Hacker Newsnew | past | comments | ask | show | jobs | submit | hackermailman's commentslogin

I still write anything critical by hand. For example some app that accepts uploads of PDFs to change format I'm going to escape and prep that data by hand so the vibe coded microservices only ever see cleaned/safe data.


If you can skip some or all electives and instead receive credits for joining research on campus as an undergraduate then it's worth it. There were a few TAs at my school who joined some professors project and only did that their last two years of undergrad where they had to produce a research paper for credit but they all ended up graduating with their name on multiple papers, going to invite only graduate summer schools, getting employment or grad school offers none of the rest of us were offered. Otherwise the cost seems too high now for a 4yr undergrad unless you scheme for a cheap bachelors (Europe? UoPeople?) and invest in a masters instead


AI copilots and prompts give me massive lines of imperative OCaml and the interface for that code always requires changing to properly describe the data it will receive when I can write it myself in a few minutes. I can however write a simulation of some hardware quickly with Java or C using claude code and then run my hand written programs in there for testing. An example is mimicking the runtime environment of some controller


Had to modify some program so just read the code and guessed mimicking what I read. It mostly just worked so continued doing that and reading enough docs I could write my own. Did that hacking for years until I finally read a real book on programming languages I think it was SICP but could have been something else before that like a SML compiler book


"Lightweight formal methods" meaning you build a model of some program logic and test it's properties hold. https://forge-fm.github.io/book/

Beyond that is dependent types


I assume this works where the ransomware authors, who likely are in some untouchable nation and the son of some major politician, provide a binary/kit with their own addresses to take the ransom then pay the person who planted it out minus their cut. Those wallets used for paying crime commissions are probably reused often or otherwise identified as they don't care if you get caught and you need to either sit on those coins for years until the limitations runs out or have enough knowledge to (correctly) wash them and anyone doing this is already making bad life decisions so likely greedy and cashed those in a traceable way like driving to work in his new Ferrari.


> untouchable nation

like the USA /s


Sometimes except I learned the hard way that if you write everyday Python math code it's actually variable-time arithmetic and totally unsuitable for applied cryptography, oops


You could always have a theme then publish the rest as "online extras" many books do that recently


These sort of books are meant to be discursive in nature giving one an exposure to various facets in a domain. That is their "theme". For a layman/common reader this is actually quite welcome since it does not drown-him-in-depth/demotivate-him but gives an overview (possibly interconnecting) of the subjects involved.

For example the Stillwell book i mentioned above has chapters on Arithmetic, Computation, Algebra, Geometry, Calculus, Combinatorics, Probability and Logic thus making it an excellent book to peruse.


Math was always the stumbling block for me then I realized through work how easy it is with pure rational or reals except when you need to translate it to an algorithm now you are throwing out all the elegant linear algebra for a numerical representation and using obscure characteristic polynomial constructs just to run a program and now math sucks again I went back to the beginning.

A nice course for this is of course TAOCP volume 2 old testament or MITs math github https://github.com/mitmath/18335/tree/spring22 (change the yr to suit) like we can't even have nice things like gradient descent anymore because it zigzags and is too inefficient


Brown PLT group has a lot of Rust resources like a debugger for traits https://cel.cs.brown.edu/blog/an-interactive-debugger-for-ru... a model of ownership types https://blog.brownplt.org/2023/09/17/rust-ownership.html and an experimental rewrite of the Rust book https://rust-book.cs.brown.edu/

Systems programming can be done in ocaml or any language really where there is some documentation on the runtime how not to trigger the GC or flags that can be passed to custom set GC policy


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: