Hacker News
- Large Language Models: Compilers for the 4th Gen of Programming Languages? [pdf] https://drops.dagstuhl.de/opus/volltexte/2023/18524/pdf/OASIcs-SLATE-2023-10.pdf 23 comments
- A Tour of Gallifrey, a Language for Geodistributed Programming [pdf] (2019) https://drops.dagstuhl.de/opus/volltexte/2019/10554/pdf/LIPIcs-SNAPL-2019-11.pdf 2 comments
- A Hitchhiker's Guide to Reinventing a Prolog Machine (2018) https://drops.dagstuhl.de/opus/volltexte/2018/8453/ 18 comments
- On the Worst-Case Complexity of TimSort http://drops.dagstuhl.de/opus/volltexte/2018/9467/ 74 comments
- Formal Language Recognition with the Java Type Checker (2016) [pdf] http://drops.dagstuhl.de/opus/volltexte/2016/6104/ 2 comments
- Modelling Homogeneous Generative Meta-Programming http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7277 6 comments
- Implementing Python for DrRacket (2014) [pdf] http://drops.dagstuhl.de/opus/volltexte/2014/4565/pdf/13.pdf 5 comments
- Machine Learning Methods for Computer Security (2012) [pdf] http://drops.dagstuhl.de/opus/volltexte/2013/3790/pdf/dagrep_v002_i009_p109_s12371.pdf 4 comments
Lobsters
- Report on Secure Compilation Research https://drops.dagstuhl.de/opus/volltexte/2022/15933/pdf/dagrep_v011_i010_p173_21481.pdf 5 comments compilers , formalmethods , pdf , security
- Paper uncovers a bug in the Java standard library implementation of Timsort http://drops.dagstuhl.de/opus/volltexte/2018/9467/ 2 comments java , programming
- Renamingless Capture-Avoiding Substitution for Definitional Interpreters https://drops.dagstuhl.de/opus/volltexte/2023/17769/pdf/oasics-vol109-evcs2023-complete.pdf 7 comments haskell
- Secure Compilation (pdf) (2021) https://drops.dagstuhl.de/opus/volltexte/2022/15933/pdf/dagrep_v011_i010_p173_21481.pdf 4 comments programming
- Programmers’ Affinity to Languages https://drops.dagstuhl.de/opus/volltexte/2021/14219/pdf/OASIcs-ICPEC-2021-3.pdf 3 comments programming
- The Java standard library implementation of Timsort has a bug. http://drops.dagstuhl.de/opus/volltexte/2018/9467/ 15 comments programming
- On the Worst-Case Complexity of TimSort (Java sorting implementation has a bug) http://drops.dagstuhl.de/opus/volltexte/2018/9467/ 17 comments java
- Automatic generation of Java Fluent APIs http://drops.dagstuhl.de/opus/volltexte/2016/6104/pdf/lipics-ecoop-2016-10.pdf 3 comments java
- Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems [PDF] http://drops.dagstuhl.de/opus/volltexte/2015/5029/pdf/19.pdf 6 comments compsci
- Machine Learning Methods for Computer Security [pdf] http://drops.dagstuhl.de/opus/volltexte/2013/3790/pdf/dagrep_v002_i009_p109_s12371.pdf 4 comments netsec
- Free eBooks (Artificial and Computational Intelligence in Games) http://drops.dagstuhl.de/portals/dfu/index.php?semnr=13017 3 comments programming
Lambda the Ultimate
- How efficient is partial sharing? http://drops.dagstuhl.de/opus/volltexte/2017/7733/pdf/LIPIcs-FSCD-2017-17.pdf 6 comments Functional
- Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development http://drops.dagstuhl.de/opus/volltexte/2015/5034/pdf/24.pdf 13 comments Cross language runtimes , Implementation