nh2

14 ms·

181.
Inline-Verilog: Execute Verilog circuits from Haskell(mazzo.li)
10 points by nh2 1y ago|0 comments
182.
by nh2 1y ago
> or make sure that the Session ID field is indexed with a hash-based index Using a hash index instead of a btree isn't a 100% guaranteed solution because there may be craftable collisions (because e.g. postgres's index hash i
183.
by nh2 1y ago
> types and runtime type validation This is what "dynamic typing" means. In other languages, you know that the types are right /before/ you run the code.
184.
by nh2 1y ago
What does "HoF" stand for?
185.
by nh2 1y ago
Probably one of the coolest logos I've seen so far. How did you come up with it?
186.
by nh2 1y ago
The article says it's 64k -> 17k.
187.
by nh2 2y ago
It does parse the first row as the header, but it inserts it as the second row, and the first row becomes another header. It creates a green/white coloured pivot table -- do you also observe that?
188.
by nh2 2y ago
I have ~100k mails in Thunderbird. The GUI always feels a bit sluggish: Sometimes spinners don't spin, reactions to clicks take ~500 ms, when I switch from Inbox to Calendar for the first time, I can see how the buttons in the top row
189.
by nh2 2y ago
https://stackoverflow.com/questions/165042/stop-excel-from-a...
190.
by nh2 2y ago
Even "From Text / CSV" sucks: It inserts an extra row at the top for its pivot table, with entries "Column1, Column2, ...". So if you export to CSV again, you now have 2 header rows. So Excel can't roundtrip CS
191.
by nh2 2y ago
Not even Android has proper IPv6 support. You cannot manually set an IPv6 address or gateway for a WiFi, it's forced DHCP only. All of this works for IPv4.
192.
by nh2 2y ago
I'm not sure I understand. I was talking about what it takes to search through a couple TB of logs. I said that with grep and Loki it's slow due to the linear search, and that indexing systems make it much faster (from many minute
193.
by nh2 2y ago
Yes, "fine" means not in Spam. > Also works for Microsoft services? No, Microsoft seems to have an allow-list for servers, and ban everything by default (the laziest of approaches). But that's OK: Because Microsoft does it
194.
by nh2 2y ago
Does "well-optimized JavaScript" mean "you can't use Objects"? In JavaScript, you can't even put 8M keys in a Hashmap; inserts take > 1 second per element: https://issues.chromium.org/issues&
195.
by nh2 2y ago
I did not find this to be the case. I set up a mail server with NixOS 5 times in a row with 5 different Hetzner Cloud IPs and each of them arrived fine at Google.
196.
by nh2 2y ago
It should not take engineering time to have a database compute full-text indices. In sensible systems, you do "CREATE INDEX" and done. To search multiple TBs of logs, you need a single 40 $/month server containing an 8 TB SSD
197.
by nh2 2y ago
> You give Mozilla all rights necessary to operate Firefox Wait, now Mozilla operates Firefox for me and I can just lean back while they do the browsing? https://www.mozilla.org/en-US/about/legal/terms&#x2F
198.
by nh2 2y ago
For an example of how it can go down otherwise: papercups.io – Open-source alternative to Intercom Funded by Y Combinator https://web.archive.org/web/20230404011725/https://papercups... https:/&#x2
199.
by nh2 2y ago
I think such a guide would be great. My perspective: A lot of people who operate servers (including me) just want to view and search their logs -- fast and convenient. Your tool provides that. They don't care about whether the backend
200.
by nh2 2y ago
Loki works fine for what it does; the problem is what it lacks. It doesn't do full-text search indices. So if you just search for some word across all your logs (to find eg when a rare error happened), it is very slow (it runs the equi
201.
by nh2 2y ago
How do you plan to fund the development, if at all? For a project like this, a hosted version might be a nice idea if you eventually want to do something else than putting your free time into support and maintenance. And many users will app
202.
by nh2 2y ago
Looks great! It seems to be email only so far. Do you plan to add chat, like Intercom and Chatwoot have it?
203.
by nh2 2y ago
It would be great if the logs could describe a bit what exactly one has to do to use this as an alternative to Grafana Loki. How do I get my logs (e.g. local text files from disk like nginx logs, or files that need transformation like syste
204.
by nh2 2y ago
This could be fixed with a single confirm().
205.
by nh2 2y ago
See this for a simple CA tutorial script including Name Constraints using only OpenSSL: https://github.com/nh2/internal-contstrained-pki
206.
by nh2 2y ago
Challenge: I would really like somebody that has experience in LLM based coding tools to try and fix gnome-terminal: https://news.ycombinator.com/item?id=42814509
207.
by nh2 2y ago
Another such challenge: * gnome-terminal and urxvt lose stderr upon fullscreen https://gitlab.gnome.org/GNOME/vte/-/issues/2862
208.
Ask HN: Challenge: Can code AIs fix real-world problems?
6 points by nh2 2y ago|1 comments
209.
by nh2 2y ago
> Buying millions of ebooks online would take a lot of effort I don't understand. Facebook and Google spend billions on training LLMs. Buying 1M ebooks at $50 each would only cost $50M. They also have >100k engineers. If they sha
210.
by nh2 2y ago
How does this make sense? Any change the untrusted local staff could make to the server, they could also make to the KVM machine (e.g. turn it into a keylogger). Now you have the same problem but with a smaller computer. You cannot turn unt

More ›