Hacker News
- A principled approach to system design and programming https://urbit.org/blog/precepts/ 57 comments
- Leon – An Automated System for Synthesizing and Verifying Scala Programs http://leon.epfl.ch/ 5 comments
Lobsters
- Bloom Programming Language | Disorderly programming for the cloud and other distributed systems. http://www.bloom-lang.net 4 comments distributed
- A library system announces a program to challenge the tide of book bannings https://www.npr.org/2022/04/13/1092522376/a-library-system-announces-a-program-to-challenge-the-tide-of-book-bannings 21 comments books
- A generic task queueing system for Go programs https://git.sr.ht/~sircmpwn/dowork 4 comments golang
- Is it possible to transfer all of my files (including operating system and program files) to a new hard drive? https://www.reddit.com/r/techsupport/comments/j7iwhj/is_it_possible_to_transfer_all_of_my_files/ 6 comments techsupport
- Low-Level Academy, an explorable systems programming course using Rust + Wasm https://lowlvl.org/lesson1.html 33 comments rust
- Controlling arduino with onChange() later() and forget() , an event based programming system. https://www.reddit.com/r/arduino/comments/bokd98/controlling_arduino_with_onchange_later_and/ 6 comments arduino
- I cannot find a good introduction to programming on general lingo, practical structure of systems, etc. I feel like this is part of the barrier of learning. https://www.reddit.com/r/learnprogramming/comments/ammgng/i_cannot_find_a_good_introduction_to_programming/ 14 comments learnprogramming
- krug - a systems programming language that compiles to x64 assembly written in D https://github.com/felixangell/krug/issues 13 comments programming
- Rust + nix = easier unix systems programming <3 http://kamalmarhubi.com/blog/2016/04/13/rust-nix-easier-unix-systems-programming-3/ 10 comments rust
- Hardware design of a cooperative adaptive cruise control system using a functional programming language ( Haskell ) - PDF File http://essay.utwente.nl/65686/1/bronkhorst_ma_eemcs.pdf 11 comments haskell
- Looking for opinions on books for Linux Systems Programming and OS. http://www.amazon.com/Beginning-Linux-Programming-Neil-Matthew/dp/0470147628 15 comments learnprogramming
- A Failure: NASA asteroid defense system - While the program has discovered, categorized, and plotted the orbits of more than 11,000 NEOs since 1998, NASA estimates that it has identified only 10 percent of all asteroids 140 meters and larger and will not meet the 2020 deadline http://sploid.gizmodo.com/nasa-asteroid-defense-system-is-a-failure-says-audit-1635226184?utm_campaign=socialflow_gizmodo_facebook&utm_source=gizmodo_facebook&utm_medium=socialflow 9 comments worldnews
- My pet project (though she's grown a bit) Galah: An automated grading system geared towards processing computer programming assignments. https://github.com/galah-group/galah 38 comments programming
- Attacking hardened Linux systems using Packet Filter JIT programs http://mainisusuallyafunction.blogspot.com/2012/11/attacking-hardened-linux-systems-with.html 4 comments programming
- The Game of Distributed Systems Programming. Which Level Are You? http://blog.incubaid.com/2012/03/28/the-game-of-distributed-systems-programming-which-level-are-you/ 72 comments programming
- export-a-crypto-system (a 3-line perl program which implements RSA encryption and decryption, and is small enough to use as a signature file) http://cypherspace.org/adam/rsa/ 4 comments programming
- Op-ed | The Space Launch System is America’s Space Program https://spacenews.com/op-ed-the-space-launch-system-is-americas-space-program/ 60 comments space
- ORSA (the Army’s Operations Research and Systems Analysis Program) REFUSED to endorse the ACFT according to this interview. https://news.clearancejobs.com/2021/12/28/army-combat-fitness-test-lies-army-will-lose-good-soldiers-argues-officer/ 402 comments army
- Programming Rust: Fast, Safe Systems Development (book) is 38% off https://twitter.com/geekdailydeal/status/881044805190426624 4 comments rust
- What is the most useful scientific program to run on the BOINC system? http://boinc.berkeley.edu/ 5 comments science
- System Programming: Method of Computer Virus Detection. Sad story of a patent application http://syprog.blogspot.com/2012/10/method-of-computer-virus-detection-sad.html 7 comments netsec
- NSA has direct access to tech giants' systems for user data, secret files reveal -- Secret PRISM program gives intelligence agency access to web and email of Google, Facebook and Apple customers http://www.guardian.co.uk/world/2013/jun/06/us-tech-giants-nsa-data?guni=network%20front:network-front%20main-2%20special%20trail:network%20front%20-%20special%20trail:position1 11 comments technology
- Could you recommend some advanced books on Ruby, for system programming and it Security ? https://www.reddit.com/r/ruby/comments/9twvon/could_you_recommend_some_advanced_books_on_ruby/ 5 comments ruby
- Head of Solar System Exploration Program at the French Space Agency comments on SpaceX's plans for Mars and offers his vision on the planet's colonisation https://translate.google.com/translate?sl=auto&tl=en&js=y&prev=_t&hl=en&ie=utf-8&u=https%3A%2F%2Fwww.courrierinternational.com%2Farticle%2Ffrancis-rocard-astrophysicien-mars-est-la-nouvelle-frontiere&edit-text=&act=url 3 comments space
- Words of caution from Snowden on digital freedom - why it's important to stop the expansion of programs like India's Central Monitoring System while they're still young. [P] https://np.reddit.com/r/iama/comments/2wwdep/we_are_edward_snowden_laura_poitras_and_glenn/couqloj 81 comments india
- NASA will be producing its own food in orbit for the first time ever -- The Vegetable Production System (VEGGIE) program will produce lettuce ready to harvest after just 28 days in the International Space Station http://modernfarmer.com/2013/09/starship-salad-bar/ 321 comments science
- FBI official claims NSA surveillance programs helped disrupt plots to bomb the New York Stock Exchange and the New York subway system http://usnews.nbcnews.com/_news/2013/06/18/19022364-surveillance-helped-stop-plots-against-nyse-and-new-york-subway-official-says?lite 9 comments politics
- Can we get a fucking decent submission system on reddit? It's not that difficult to program one that isn't this fucking buggy: "you're submitting too fast, try again" http://reddit.com/info/1vyrh/comments 12 comments reddit.com
- U.S.A's Nuclear Defense Program is run from Floppy Disks. What is incredibly scary is that this system runs on an IBM Series/1 Computer and uses 8-inch floppy disks. http://www.bleepingcomputer.com/news/government/u-s-as-nuclear-defense-program-is-run-from-floppy-disks/ 5 comments technology
- This week’s open source newsletter just went out! It’s got some seriously interesting projects in it, like a live map of good morning and good night tweets, and an explorable systems programming course for Rust! https://console.substack.com/p/console-23?r=3cbez&utm_campaign=post&utm_medium=web&utm_source=copy 7 comments opensource
- IBM is releasing a free course and forum next week to teach COBOL programming language, as US states struggle to find programmers for old unemployment systems https://www.inputmag.com/tech/ibm-will-offer-free-cobol-training-to-address-overloaded-unemployment-systems 13 comments technology
- Darpa is showing off a new system that can put out flames using only sound. It’s part of the U.S. defense agency’s “Instant Fire Suppression” program. http://www.wired.com/dangerroom/2012/07/wall-of-sound-fire/?utm_source=feedburner&utm_medium=feed&utm_campaign=feed%3A+wired%2Findex+%28wired%3A+top+stories%29 22 comments technology
- Jeff Foust: The Human Landing System programs gets $1.195 billion [from congress], the amount sought by NASA. It directs NASA to, within 30 days of enactment, deliver a plan on how it will “ensure safety, redundancy, sustainability, and competition in the HLS program.” https://twitter.com/jeff_foust/status/1501500812542967812 43 comments spacex
- Researchers from McGill University, Montreal, have developed an artificial intelligence program (AI) that they believe is one way to put an end to online hate speech. The team have developed a system that learns hate speech from a data dump that they collected from Reddit between 2006 and 2016 https://www.newscientist.com/article/2149562-this-ai-can-tell-true-hate-speech-from-harmless-banter/ 17 comments science
- I'm new to javascript and am trying to program a solar system simulation where everytime the earth orbits around the sun it shows the year it is (2012 to 2013 for example), how do i do this without having to rewrite the formula for every year that elapses? https://www.khanacademy.org/cs/solar-system/1790052364 3 comments javascript
- Newly-Released Documents Shed Light on Government-Funded Research Into Worm Holes, Anti-Gravity and Invisibility Cloaks - A tranche of documents released to Motherboard through FOIA show the research priorities of the secretive Advanced Aerospace Weapons Systems Application Program. https://www.vice.com/en/article/k7wj9e/newly-released-documents-shed-light-on-government-funded-research-into-worm-holes-anti-gravity-and-invisibility-cloaks 109 comments technology
- Solar Power Begins to Shine as Environmental Benefits Pay Off - “We had to find some market support systems for the first thousand-roof program,” Mr. Weber said. “That became the 100,000-roof program — and then the million-roof program.” http://nytimes.com/2013/11/11/business/energy-environment/solar-power-begins-to-shine-as-environmental-benefits-pay-off.html?ref=energy-environment 7 comments technology
- NASA has finished the system requirements review for its Mars Sample Return Program. With planned launch dates for the Earth Return Orbiter and Sample Retrieval Lander in fall 2027 and summer 2028, the samples are expected to arrive on Earth in 2033. https://mars.nasa.gov/news/9233/nasa-will-inspire-world-when-it-returns-mars-samples-to-earth-in-2033/ 5 comments space