| 1. | | Coupled Oscillators for Computing (2020) (aip.org) |
|
46 points by nickpsecurity 25 days ago | past | 15 comments
|
|
| 2. | | When Large Language Model Meets Optimization (arxiv.org) |
|
1 point by nickpsecurity 43 days ago | past | 1 comment
|
|
| 3. | | Imagination Announces B-Series GPU IP (2020) (anandtech.com) |
|
1 point by nickpsecurity 44 days ago | past | 1 comment
|
|
| 4. | | Accelerating Compute by Cramming It into Memory (nextplatform.com) |
|
2 points by nickpsecurity 72 days ago | past | 1 comment
|
|
| 5. | | Phalanx: A 1332-core RISC-V Processor Cluster Array (2019) [pdf] (sc.edu) |
|
21 points by nickpsecurity 4 months ago | past | 3 comments
|
|
| 6. | | Why We Do Not Evolve Software? (nih.gov) |
|
2 points by nickpsecurity 9 months ago | past
|
|
| 7. | | AI Copyright Law Proposal That's Good for All Parties (gethisword.com) |
|
1 point by nickpsecurity 10 months ago | past | 1 comment
|
|
| 8. | | AI's Are Theft. Let's Fix Them with Generosity (gethisword.com) |
|
3 points by nickpsecurity on July 14, 2023 | past | 1 comment
|
|
| 9. | | Decades-Old Code Is Putting Millions of Critical Devices at Risk (wired.com) |
|
8 points by nickpsecurity on Oct 6, 2019 | past
|
|
| 10. | | IBM iSeries (AS/400) Architecture [pdf] [slides] (fu-berlin.de) |
|
2 points by nickpsecurity on March 27, 2019 | past | 1 comment
|
|
| 11. | | An Interactive State Machine Demo (drakonhub.com) |
|
5 points by nickpsecurity on Nov 19, 2018 | past | 4 comments
|
|
| 12. | | Open-Source Bitstream Generation (2013) [pdf] (isi.edu) |
|
20 points by nickpsecurity on Nov 19, 2018 | past | 3 comments
|
|
| 13. | | Jeff Bezos Is Wrong, Tech Workers Are Not Bullies (ft.com) |
|
7 points by nickpsecurity on Nov 13, 2018 | past | 2 comments
|
|
| 14. | | The Great Bug Hunt (allenpike.com) |
|
2 points by nickpsecurity on June 1, 2018 | past
|
|
| 15. | | Evolution of an X86 Virtual Machine Monitor (2010)[pdf] (cmu.edu) |
|
2 points by nickpsecurity on April 18, 2018 | past
|
|
| 16. | | Picat: A Logic-Based, Multi-Paradigm, Programming Language (picat-lang.org) |
|
102 points by nickpsecurity on March 11, 2018 | past | 22 comments
|
|
| 17. | | Defending Scientism: Mathematics Is a Part of Science (coelsblog.wordpress.com) |
|
1 point by nickpsecurity on March 7, 2018 | past | 2 comments
|
|
| 18. | | Invitation to the SETL Language (linuxjournal.com) |
|
3 points by nickpsecurity on March 5, 2018 | past | 1 comment
|
|
| 19. | | TreeRegex: Extension to Regex's for Working on Tree-Structured Text [pdf] (eecs.berkeley.edu) |
|
3 points by nickpsecurity on March 3, 2018 | past
|
|
| 20. | | Elementary Algebra by K. E. Iverson (1971) (pdf) (softwarepreservation.org) |
|
5 points by nickpsecurity on March 2, 2018 | past | 2 comments
|
|
| 21. | | Design by Contract: A Missing Link in Quest for Quality Software (1998) (tue.nl) |
|
1 point by nickpsecurity on Feb 25, 2018 | past | 1 comment
|
|
| 22. | | Social Processes and Proofs of Theorems and Programs (1979) [pdf] (cmu.edu) |
|
2 points by nickpsecurity on Feb 20, 2018 | past | 1 comment
|
|
| 23. | | Spry Language (sprylang.org) |
|
135 points by nickpsecurity on Feb 11, 2018 | past | 39 comments
|
|
| 24. | | Security of Software, Distribution Models: It's Not Just Open vs. Closed (2014) (pastebin.com) |
|
1 point by nickpsecurity on Feb 8, 2018 | past | 1 comment
|
|
| 25. | | Comparing Development Costs of Ada and C (1995) [pdf] (adaic.com) |
|
5 points by nickpsecurity on Jan 21, 2018 | past | 1 comment
|
|
| 26. | | IELE: A Formally-Specified VM for the Blockchain (2017) (runtimeverification.com) |
|
3 points by nickpsecurity on Jan 15, 2018 | past | 1 comment
|
|
| 27. | | Oberon – The Overlooked Jewel [pdf] (psu.edu) |
|
202 points by nickpsecurity on Nov 15, 2017 | past | 128 comments
|
|
| 28. | | FaCT: Flexible, Constant-Time, Programming Language [pdf] (ucsd.edu) |
|
1 point by nickpsecurity on Oct 11, 2017 | past
|
|
| 29. | | Programming in the 1960s (slideshare.net) |
|
102 points by nickpsecurity on July 29, 2017 | past | 42 comments
|
|
| 30. | | Om Programming Language (sparist.github.io) |
|
3 points by nickpsecurity on June 19, 2017 | past
|
|
|
|
More |
