Hacker Newsnew | past | comments | ask | show | jobs | submit | tluyben2's submissionslogin
1.AI helps me against procrastination (bsky.app)
2 points by tluyben2 6 months ago | past
2.Show HN: The modern internet content experience simulator (github.com/tluyben)
2 points by tluyben2 11 months ago | past
3.KamilaLisp – A functional, flexible and concise Lisp (github.com/kspalaiologos)
128 points by tluyben2 on March 2, 2024 | past | 54 comments
4.Ask HN: Did anyone notice an increase in hacking attempts during the holidays?
1 point by tluyben2 on Jan 5, 2023 | past
5.A toy implementation of Landin's ISWIM language. (2018) (github.com/diegospd)
7 points by tluyben2 on Jan 5, 2023 | past | 1 comment
6.Spiritual Successor to It Came from the Desert (steampowered.com)
1 point by tluyben2 on Dec 19, 2022 | past
7.Almost automated code reviews (brainfisheatfishbrain.com)
26 points by tluyben2 on Dec 10, 2022 | past | 4 comments
8.An experimental and minimal Datalog implementation that compiles down to LLVM (github.com/luc-tielen)
2 points by tluyben2 on Nov 23, 2022 | past
9.Ask HN: What’s is the most practical, non toy, programmable robot for under 10k?
48 points by tluyben2 on May 21, 2022 | past | 18 comments
10.Qatar WC reporter IAMA turning into a dumpster fire (reddit.com)
2 points by tluyben2 on April 2, 2022 | past
11.Ask HN: Tools to prevent information loss in modern Open Source communication?
3 points by tluyben2 on Feb 7, 2022 | past | 1 comment
12.Dependent Types and APL (On the GPU) (youtube.com)
2 points by tluyben2 on Feb 5, 2022 | past
13.Proving Ground: Tools for Automated Mathematics; HoTT (github.com/siddhartha-gadgil)
2 points by tluyben2 on Feb 4, 2022 | past
14.Lacework lands $1.3B to expand its cloud cybersecurity platform (venturebeat.com)
2 points by tluyben2 on Nov 18, 2021 | past
15.The future of programming with certified program synthesis (gopiandcode.uk)
84 points by tluyben2 on July 6, 2021 | past | 92 comments
16.I can't support a community full of apologists for these awful pyramid schemes (twitter.com/smdiehl)
2 points by tluyben2 on Sept 14, 2020 | past
17.Hong Kong Startup Challenges Android-Apple Dominance (dw.com)
1 point by tluyben2 on July 27, 2019 | past
18.After 30 years of coding and tech management, I want to get into movie making
28 points by tluyben2 on Feb 14, 2019 | past | 10 comments
19.First attempt at a minimal Forth in C# (gist.github.com)
2 points by tluyben2 on Aug 21, 2018 | past
20.Interesting Approach to GDPR from Meteor Kitchen (reddit.com)
1 point by tluyben2 on May 26, 2018 | past
21.Teaching Programming Languages by Experimental and Adversarial Thinking (brown.edu)
136 points by tluyben2 on May 7, 2018 | past | 17 comments
22.Ask HN: What is a good site to post remote/heavy travel programmer positions?
17 points by tluyben2 on Aug 13, 2017 | past | 13 comments
23.Scratch like visual programming environment which live execution visualisation (trepl.xyz)
1 point by tluyben2 on Nov 1, 2016 | past
24.Shenzhou-11 spacecraft manned launch live coverage (spaceflightnow.com)
3 points by tluyben2 on Oct 16, 2016 | past
25.The great fire of London – 350 year anniversary site (fireoflondon.org.uk)
2 points by tluyben2 on Sept 2, 2016 | past | 2 comments
26.Jolie – A language for micro services (jolie-lang.org)
4 points by tluyben2 on May 8, 2016 | past | 1 comment
27.Cogent: Code and Proof Co-Generation (github.com/nicta)
2 points by tluyben2 on May 7, 2016 | past
28.“Memory foam” approach to unsupervised learning (arxiv.org)
2 points by tluyben2 on Oct 12, 2015 | past
29.Ask HN: Is anyone looking for a team of coders?
1 point by tluyben2 on July 26, 2015 | past | 2 comments
30.Z80 Symbos OS now has networking support on MSX (msx.org)
46 points by tluyben2 on May 31, 2015 | past | 25 comments

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

Search: