hyperbrainer

6 ms·

31.
by hyperbrainer 1y ago
I wonder whether CV models could help speed this up. There is the obvious challenge of pieces not fitting together exactly, being broken or otherwise defaced etc. but then humans are struggling with the same thing, just that computers have
32.
All color is best effort(fasterthanli.me)
3 points by hyperbrainer 1y ago|0 comments
33.
by hyperbrainer 1y ago
The water also serves the purpose of reducing reflecting acoustic energy.
34.
The Hashtable Packing Problem (2020)(backscattering.de)
39 points by hyperbrainer 1y ago|15 comments
35.
by hyperbrainer 1y ago
Related: https://github.com/ocaml/RFCs/blob/881b220adc1f358ab15f7743d...
36.
by hyperbrainer 1y ago
To be clear, this is not my review. I just found it very interesting and relevant to my own work.
37.
A Rust Documentation Ecosystem Review(harudagondi.space)
94 points by hyperbrainer 1y ago|14 comments
38.
Why GADTs matter for performance (2015)(blog.janestreet.com)
83 points by hyperbrainer 1y ago|26 comments
39.
by hyperbrainer 1y ago
Most table tennis players don't play at the level of the World Cup.
40.
Custom Logging in Rust Using tracing and tracing-subscriber(burgers.io)
2 points by hyperbrainer 1y ago|0 comments
41.
I started an open source project in 2004. This week, it hit 30000 GitHub stars(medium.com)
11 points by hyperbrainer 1y ago|0 comments
42.
by hyperbrainer 1y ago
If you wish to approach Category Theory from the viewpoint of a programmer, not a mathematician, I suggest Bartosz Milewski's book Category Theory for Programmers . For this, all you need is some previous programming experience. He us
43.
by hyperbrainer 1y ago
Wow, thank you so much for taking the time to do this. I love all of you guys in the rust community. > Would https://docs.rs/tracing-subscriber/0.3.19/tracing_subscriber ... help you? Indeed. This is brilliant.
44.
by hyperbrainer 1y ago
Okay this is really funny because I was messing about with generics relating to the Write trait just yesterday, leading to much frustration. > you find yourself propagating a generic bound up an entire hierarchy of data structures and fu
45.
by hyperbrainer 1y ago
It's hard to pinpoint the problem, because I love and adore Rust. So, thank you for all the work you have put in -- it's a great language. I feel like my biggest struggle is simply how hard (tedious?) it is to properly work with
46.
by hyperbrainer 1y ago
Unfortunately, it seems to use a GC for the safety, which makes it unsuitable for a variety of tasks in the systems programming domain. Seems to me like an alternative to Go more than Rust or C or Zig
47.
by hyperbrainer 1y ago
I think the problem is that some of the more advanced things related to generics or traits are half-baked or maybe somewhat function only in unstable, leading to horribly written code, or code which takes far more complexity to run than it
48.
by hyperbrainer 1y ago
The full language is indeed even further ahead of Rust on the spectrum I am looking at, but this seems like a cool effort. I love proof-based languages and dependent types, so this is an absolute win. What intrigues me quite a bit relative
49.
by hyperbrainer 1y ago
V looks exactly like one of the languages I was talking about. Some controversy about the project, it seems like, but very cool nonetheless. Even if it doesn't actually work like described, the description seems quite interesting. >
50.
by hyperbrainer 1y ago
I love Rust, and will continue to use it. But sometimes it feels like "too much". If you have programmed in Rust, you know what I mean. I want to use and experience a language that is to Rust almost like what C is to C++. This is
51.
by hyperbrainer 1y ago
I don't mind the language having substantially worse "something" as long as it can be a smaller alternative for Rust, for the lack of a better word. Of course, there always needs to be some compromise. I don't mind that.
52.
Ask HN: Memory-safe low level languages?
61 points by hyperbrainer 1y ago|117 comments
53.
by hyperbrainer 1y ago
Not a technical difference, but I think Mercury is somewhat more "commerical" in that it's out of development and can be used in real projects, compared to Curry, which is very much in development.
54.
Curry: A functional logic programming language(curry-lang.org)
172 points by hyperbrainer 1y ago|37 comments
55.
The Busy Beaver Frontier [pdf](scottaaronson.com)
4 points by hyperbrainer 1y ago|0 comments
56.
by hyperbrainer 1y ago
Which is despite, a decade of attempts, still missing dependent types. Time to embrace Idris. Or embrace logic + functional programming: Curry. https://curry-language.org/
57.
by hyperbrainer 1y ago
Austral's specification is one of the most beautiful and well-written pieces of documentation I have ever found. It's section on error handling in Austral[0] cover everything from rationale and alternatives to concrete examples of
58.
by hyperbrainer 1y ago
I was quite impressed with Austral[0], which used Linear Types and avoids the whole Rust-like implementation in favour of a more easily understandable system, albeit slightly more verbose. [0] https://borretti.me/article&#x2F
59.
Monsky's Theorem(mathmondays.com)
49 points by hyperbrainer 1y ago|13 comments
60.
by hyperbrainer 1y ago
You are looking for Ada.

More ›