HN user

kryptiskt

10,433 karma

Developer from Sweden. Idris maintainer. Likes Haskell, Idris, Factor, Rust and Chez Scheme. @kryptiskt on Twitter.

Github: https://github.com/melted/ https://write.as/niklas

Posts181
Comments1,389
View on HN
technicshistory.com 1y ago

A Bicycle for the Mind – Prologue

kryptiskt
1pts0
blog.funcall.org 2y ago

The world's loudest Lisp program to the rescue

kryptiskt
255pts94
infosec.exchange 2y ago

Darknet bazaar Incognito Market is extorting former users

kryptiskt
53pts16
jfrog.com 2y ago

Data Scientists Targeted by Malicious Hugging Face ML Models with Backdoor

kryptiskt
3pts0
www.rockpapershotgun.com 2y ago

Avernum and Geneforge creator Jeff Vogel says "sustainability is tricky"

kryptiskt
2pts0
daninus14.github.io 2y ago

Why is Common Lisp not the most popular programming language?

kryptiskt
130pts332
github.com 2y ago

Chez Scheme v10.0

kryptiskt
9pts1
orodu.net 2y ago

Integer overflow and arithmetic safety in C++

kryptiskt
1pts0
re.factorcode.org 3y ago

Offline Wikipedia in Factor

kryptiskt
1pts0
www.haiku-os.org 3y ago

The Icon Sets Proposed in the Icon Contest 2006

kryptiskt
2pts1
re.factorcode.org 3y ago

Unicode in Factor

kryptiskt
2pts0
devblogs.microsoft.com 3y ago

How Async/Await Works in C#

kryptiskt
152pts132
thephd.dev 3y ago

Undefined Behavior, and the Sledgehammer Principle

kryptiskt
12pts0
devblogs.microsoft.com 3y ago

C11 Atomics in Visual Studio 2022

kryptiskt
5pts0
lwn.net 3y ago

Various Linux Kernel WLAN Security Issues (RCE/DOS) Found

kryptiskt
9pts1
www.phoronix.com 3y ago

The Initial Rust Infrastructure Has Been Merged into Linux 6.1

kryptiskt
5pts0
github.com 3y ago

MOOS: C# OS using .NET7 AOT compilation

kryptiskt
14pts1
thephd.dev 4y ago

Finally. Embed

kryptiskt
4pts0
www.theverge.com 4y ago

Apple Shipped Me a 79-Pound iPhone Repair Kit to Fix a 1.1-Ounce Battery

kryptiskt
507pts544
www.youtube.com 4y ago

Factor in 2022

kryptiskt
2pts0
okmij.org 4y ago

Poster/Slides Directly in PostScript

kryptiskt
2pts0
mitpress.mit.edu 4y ago

Structure and Interpretation of Computer Programs: JavaScript Edition

kryptiskt
11pts4
microkerneldude.wordpress.com 4y ago

SeL4 Integrity Enforcement Proved for RISC-V

kryptiskt
3pts0
www.theverge.com 5y ago

Google’s new Fuchsia OS arrives first on old Nest Hub

kryptiskt
22pts2
microkerneldude.wordpress.com 5y ago

SeL4 on RISC-V Verified to Binary Code

kryptiskt
157pts47
www.tweag.io 5y ago

Incubating the Haskell Foundation

kryptiskt
3pts0
ericsink.com 5y ago

Llama Rust SDK preview 0.1.3

kryptiskt
2pts0
www.bloomberg.com 5y ago

Samsung Considers $10B 3nm Texas Chipmaking Plant, Sources Say

kryptiskt
6pts0
www.quirksmode.org 5y ago

User-scalable=no and suppressing zoom suppression

kryptiskt
1pts0
preshing.com 5y ago

Flap Hero Code Review

kryptiskt
1pts0

Deciding on an ISA like RV32I only sets constraints on your architecture, it doesn't give you any of it for free. So I think it's entirely valid to say that it's a custom architecture if they didn't use any pre-existing CPU design.

Basically, they had the API interface and implemented everything behind it. I think saying that "it's an RV32I core" vastly underrates the design work that goes into actually implementing an RV32I core from scratch.

I'm a bit surprised that Red still seems stuck at 32 bits, like it was last time I saw something about it years ago. What is the roadblock that prevents them from building 64-bit binaries? I guess it must be very hard since otherwise it would have already been fixed.

It's a complete fantasy that Debian maintainers do a thorough review of changed packages. It's not a responsibility they have, and it would be impossible anyway (how many packages are there in Debian? How many maintainers are there?).

Typst 0.15.0 1 month ago

Typst does typesetting like TeX (or InDesign for a WYSIWYG alternative), neither org-mode nor markdown has a rich enough formatting language for general typesetting, like if you want to make a flyer for a concert, a brochure or a comic book.

Cooling in Space 1 month ago

Allow me to propose a modest alternative to space data centers, namely mountaintop data centers. This would consist of a container full of servers and GPUs and what else goes into a data center, a wind turbine for power and a communication module (say laser or microwave) for communicating with a base station with a fiber connection. This would be lifted on top of a mountain by a helicopter and bolted in place. Cooling would be provided by heat sinks exposed to the outside air. Some of the nodes could relay traffic from other nodes on remote mountain tops out of sight of the base station.

This scheme has many advantages over space data centers including launch costs, cooling, connection latency, servicability and ease of recycling.

If I want to identify and measure the size of round things in my orange sorter machine, I shouldn't have to resort to an unnecessarily complicated solution just because some AI bros can't understand that not everything needs to be an AI model.

Like, the AI model tools already exist, all that would be accomplished if OpenCV pivoted would be to take it away for people who want to do low-level vision programming. It wouldn't add anything useful to the world, just destroy an excellent library.

If the slaver is a human, other humans will judge them by human standards. Keeping the slaves ignorant of their condition and alternatives should not make it any more acceptable (if for nothing else since that is something you could easily replicate with human slaves by raising them as slaves).

Why would using math in certain fashion such that it mimics consciousness be considered unethical and comparable to human slavery?

If it is really conscious, it should have rights. Why? Because it's a person, with thoughts and experiences, and we're not evil and deprive persons of their right to self-determination because it's convenient to us.

That it's not possible for him to love her back as much as she does. "Requite" is quite an obscure word, I've only ever seen it used in the phrase "unrequited love", which means a love which isn't returned (in quite a different sense than what is used here, since I assume that the author didn't mean that he didn't love his wife, only that his love didn't measure up).

The certificate issuer doesn't have access to the underlying private keys, so while getting a fake certificate may be useful for MITM [0], undermining the certificate authorities doesn't actually allow spying on traffic that uses the genuine certs, no matter how corrupt the CA is.

There is such a thing as overestimating the power of the NSA, if the spooks actually had undermined the system to that degree they wouldn't need to lobby for all the surveillance bills that keeps popping up.

[0] And you can't get a fake certificate either without it being visible in the certificate transparency logs, or being an obvious fake since it is absent in those logs.

This doesn't compare like for like, since its comparing the total cost for the local machine with the usage cost for the cloud service, despite the cloud service also needing a local machine to be useful.

This reads like Apple fanfiction to me.

But then Apple can negotiate on another basis and say, well, if you don’t do us a favor here and give us a better rate, then maybe we won’t work with you when all this settles down. You know things are going to settle down. These things are always cyclical. There’s never been a semiconductor boom that’s not followed by a semiconductor bust. Never. And they know it.

I have to think that the RAM suppliers wouldn't be that easy to intimidate with threats, since they know perfectly well how few alternatives Apple has. And they are also perfectly aware that Apple will play hardball with them when the market turns, regardless of whether they were nice to Apple now.

It's not possible to learn anything about other elements when performing binary search, _except_ the only thing there is to learn: if the target is before or after the recently compared element.

You have another piece of information, you don't only know if the element was before or after the compared element. You can also know the delta between what you looked at and what you're looking for. And you also have the delta from the previous item you looked at.

You can to vary the split of the output by cracking heavier hydrocarbons into lighter. So it's not a fixed fraction, but driven by both demand and cost of processing.

I find all those arguments unconvincing. The right 10,000 lines of code can be worth a billion dollars. The idea that it would be somehow uneconomical for me to take the time to get it right feels like utter nonsense. I don't have to have much of an edge over an LLM to come out on top once you start to distribute the resulting product. Three months of my time costs $25,000 or so (hey, I'm in Europe, adjust as you see fit), if I can make something just a little bit better than AI Albert who can whip something together for a tenth of the price, my time will pay for itself once you have modest amounts of revenue from it.

And I'm fully convinced that what I do will not just be a little bit better than what AI Al makes. It will trounce it in all quality criteria. But of course, coincidentally with the rise of AI assistance, software quality has completely disappeared from the conversation. I wonder why.

You're positing the existence of a far more advanced lifeform than merely a clever monkey with pretensions, which then somehow created said monkeys. That's like saying that it's easy to become a millionaire, just start with a billion dollars.

That's not an explanation, you just replaced a problem with another harder one.

I wouldn't call it optimized, since that implies that it gains performance due to the tail calls and would work otherwise, but the tail calls are integral to the function of the interpreter. It simply wouldn't work if the compiler can't be forced to emit them.

You lose in versatility, then you can't add user-defined operators, which is pretty easy with a Pratt parser.