ctenb

6 ms·

31.
by ctenb 5mo ago
Have you tried that, or is it just a random thought?
32.
by ctenb 6mo ago
Tangentially related, this post git me reading about the spectre language. In the spectre docs you write: "There is a notable lack of contract based programming languages that enforce correctness at a low level.". What is the diff
33.
by ctenb 7mo ago
While the message is valid, it's ironic that this was clearly written by AI.
34.
by ctenb 7mo ago
Worth noting: the plugin system is steadily approaching maturity and will probably be integrated and released soonish™ https://github.com/helix-editor/helix/pull/8675
35.
by ctenb 8mo ago
"Just" is exactly made for this, and it is amazing. You write a justfile that is somewhat similar to a makefile but without the painpoints and it provides a CLI interface of commands you want to run
36.
by ctenb 9mo ago
This has not been true for at least a decade for dutch buildings: there are strict regulations requiring decent insulation for new buildings. Renovating and insulating old buildings is also encouraged, but not required by law.
37.
by ctenb 9mo ago
I agree to some extent, but in my experience it differs a lot between kids how doable having a conversation is
38.
by ctenb 9mo ago
Care to paraphrase the relevant explanation?
39.
by ctenb 10mo ago
I made something similar once, specifically targetted for guitar tablature https://tabviewer.app/ To make links shorter for sharing with others, I use a shortlink service. Pasting URLs of thousands of characters long can be
40.
by ctenb 10mo ago
What about work horses?
41.
by ctenb 10mo ago
Can you give an actual counterargument?
42.
by ctenb 10mo ago
This doesn't seem like a topic to ask about on hacker news. Also, your grammar is confusing to the point I don't exactly know what the question is.
43.
by ctenb 11mo ago
That is true, but it doesn't help for new languages, frameworks, etc
44.
by ctenb 11mo ago
I agree. It would also work out like a long term supervised learning process though. Humans showing how it's really done, and AI companies taking that as a gold standard for training and development of AI.
45.
by ctenb 11mo ago
2023: https://news.ycombinator.com/item?id=36798774 2022: https://news.ycombinator.com/item?id=30734137 2018: https://news.ycombinator.com/item?id=17413911 2015: https://news.yco
46.
by ctenb 11mo ago
I'm surprised Pandoc markdown is not mentioned. You can make that semi structured quite easily, and write your own transformations using lua. It's powerful enough to write math papers and export into both pdf and html.
47.
by ctenb 11mo ago
Regarding typing latex vs unicode, I use WinCompose/XCompose with a list of bindings that include most latex symbols. So instead of \cup I'd type <compose>cup For reference, here is my personal (still evolving) .XCompose ht
48.
by ctenb 11mo ago
I use Unicode to type math, which is the closest you can get in plain text to what you see in the rendered output. The latex package unicodemath is amazing. As a bonus you can paste the code in chat applications when communicating with peer
49.
by ctenb 11mo ago
In Haskell with `head (sort list)` the entire list does not have to be sorted, depending on the sort implementation. Everything is lazy, so sort can sort the list just enough to return the smallest element.
50.
by ctenb 11mo ago
I think the older programmer was hinting at gauss's formula with the summing 1 to 10 without using a loop? Recursion is also a loop in some sense.
51.
by ctenb 11mo ago
Isn't that very wasteful or difficult to do in practice? If you consider that shrinkers generally take lower numbers to be 'simpler' than higher numbers, complexity-ordering requires you to generate all the numbers from low t
52.
by ctenb 11mo ago
Do you have a reference where it is explained? It's not part of the docs as far as I can tell
53.
by ctenb 11mo ago
> Shrinking is expressed as manipulations of that tape. How do you do that in general? I can't find any documentation on that.
54.
by ctenb 11mo ago
What is complexity sorted order?
55.
by ctenb 11mo ago
This post has many upvotes, but all the comments ask questions about the usefulness of this, without any justifying response so far. I have the same question, and I wonder what's going on with this post?
56.
by ctenb 11mo ago
No, it's about the distribution being injective, not a single sampled response. So you need a lot of outputs of the same prompt, and know the LLM, and then you should in theory be able to reconstruct the original prompt.
57.
by ctenb 11mo ago
This is a cool example of how specializing a generic algorithm to a specific subspace can yield much better results. This is quite often the case in my experience, but we often don't bother utilizing properties that are specific to our
58.
by ctenb 1y ago
What is a CLO?
59.
by ctenb 1y ago
No? Intelligence is not telepathy. You can't just assume that your initial interpretation is the correct one, even more so if you interpretation doesn't make sense. Like in this case, where the parents interpretation of "abst
60.
by ctenb 1y ago
What is the business model?

More ›