Hacker GitHub

← All repos

webyrd/Barliman

View on GitHub ↗ ★ 1,086 Scheme

Prototype smart text editor

11 mentions on Hacker News by 9 people: 3 stories, 8 comments · first 2016-06-16 · latest 2024-10-28

Mentions per year 11 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …all the time ... looking for new optimizations Anyone know if there was ever a retrospective on https://github.com/webyrd/Barliman ?
    comment by 082349872349872 · 2024-10-28 · in Optimizers need a rethink
  2. Thanks! Looks like barliman is also (like its namesake?) slowly progressing: https://github.com/webyrd/Barliman
    comment by 082349872349872 · 2024-08-03 · in Discovering algorithms by enumerating terms in Haskell
  3. compare https://github.com/webyrd/Barliman
    comment by 082349872349872 · 2024-02-24 · in Candy – a minimalistic functional programming language
  4. Not a complete replacement, but very cool and related: https://github.com/webyrd/Barliman
    comment by btwillard · 2022-11-06 · in Ask HN: Open-Source GitHub Copilot?
  5. This sounds a lot lke like minikanren ( https://github.com/webyrd/Barliman ) where you give test cases and Idris2 ( https://github.com/idris-lang/Idris2 ) where you give type constraints as a tool for building programs.
    comment by nyberg · 2021-06-18 · in TDD from the Factorio Team
  6. …[0] https://github.com/readevalprintlove/black [1] https://www.youtube.com/watch?v=OyfBQmvr2Hc [2] https://github.com/webyrd/Barliman
    comment by eindiran · 2019-04-19 · in Collapsing Towers of Interpreters (2018) [pdf]
  7. …of cores to boosting the programmer's productivity? What are we missing?" For instance, couldn't https://github.com/webyrd/Barliman develop into something that makes computing worth spending on at that level?
    comment by abecedarius · 2019-03-08 · in Why isn’t CPU time more valuable?
  8. They probably code using Barliman[1] ;-) </joke> [1] https://github.com/webyrd/Barliman
    comment by JepZ · 2017-12-05 · in Parcel – A fast, zero configuration web application bundler
  9. ▲ 186
    Barliman – real-time program synthesis to make the programmer's life easier
    story by michaelsbradley · 2017-12-03 · 43 comments
  10. ▲ 164
    Barliman: Prototype of a smart text editor
    story by adamnemecek · 2016-07-30 · 57 comments
  11. ▲ 1
    Barliman: prototype “smart editor” that performs real-time program synthesis
    story by ingve · 2016-06-16 · 0 comments