skysight-inc/HackerNews huggingface dataset:
I don’t know, Haskell and Go absolutely plays in the same field regarding performance from a surface level analysis (and also in benchmarks) - both are compiled to native code with in-built GC, whose usage they can heavily cut back on compared to a traditional OOP language due to strong FP and value types, respectively.

Whether it means you should lower your expectations for Go or raise them for Haskell, is up to you but Haskell can be a quite performant language for many kinds of problems - even if laziness may make performance reasoning harder.
If you extend "unspecified" to allow traps, reading a bogus pointer can also be unspecified, only writes undefined in the current sense.
Acting together with your fellow workers is how people who work take power back from people who own. Willfully turning your back on that is… short sighted to say the least. Unless your income comes from ownership, in which case you’re closing the door behind you - a worse thing to do, in my opinion.
It’s the opposite. Large companies love regulation as it creates extra costs and hurdles for smaller startups that might out-compete them otherwise. Regulation secures incumbent power.
We are returning to the Moon regardless.

Mother: "Okay, boss, this LTX-71 concealable mike is part of the same system that NASA used when they faked the Apollo Moon landings. They had the astronauts broadcast around the world from a sound stage at Norton Air Force Base in San Bernadino, California. So it worked for them, shouldn't give us too many problems."
>"Software engineering is still in the alchemy stage – thousands of king-funded charlatans attempting to transmute lead into gold"

This is going into to my list of quotes. Thank you. Although I do not think it will ever get out of this "alchemy" stage.
To this day Kiwifarms still hosts the Christchurch video.

They posted the AU Government’s takedown order along with their response: “were a US company,” refusing to remove it.

You can still find it by searching for “AU Government Class 1 Security Kiwifarms”

They clearly want to keep this content up.
Seen sites that scrape HN who's hiring
Ask HN: How much did Java cost
Is the some way to estimate how much a pl cost to develop (and continues to cost to support)?
Maybe our ORM or Postgres connector runs a process. We ourselves are not directly running multiple processes.

This feels like a leaky abstraction that defeats the purpose of container-as-service especially when the intended audience is hobbyists / small teams who don't have a networking SRE, much less keeping track of fragile infrastructure assumptions.

If we have to stick with GCP, then it seems GCE VMs are a safer bet.
Another thing that isn’t mentioned is Gutenberg had a “killer use case” — printing Bibles to prosthelytize Protestantism.

The spread of new scientific ideas mentioned in the article only came later on the exhaust fumes of spreading new religious ideas.
The 90% figure is false when it comes to teenagers who say they are trans after puberty.

As an autistic person with a history of trauma, abuse and mental illness, I'm deeply offended at the insinuation that I and people like me can't tell if they're trans or not. Being trans is not mental illness, it's human variation.

Not intervening in puberty for someone who will grow up to be a trans adult also does permanent harm, resulting in tens to hundreds of thousands of USD in surgery and other costs, and (more importantly) a lot of pain. The fact is that early intervention prevents a lot of suffering down the road. If your moral calculus doesn't take that into account it is illegitimate.
Good point, so I looked up inflation-adjusted Apollo costs, which came to $257 billion.[1] By contrast, SLS so far has been closer to $20 billion.[2]

But I don't see this as excusing NASA/Congress. It's spending that money with the benefit of 50 years of technological advancement, but reusing technology from the 1980s to make a completely disposable rocket that will cost $4 billion per launch.[3] Meanwhile, SpaceX is spending an amount estimated in single-digit billions to develop a rapidly and completely reusable rocket of similar size, aiming at a launch cost two to three orders of magnitude lower.

[1] https://www.planetary.org/space-policy/cost-of-apollo

[2] https://www.planetary.org/space-policy/cost-of-sls-and-orion

[3] https://www.extremetech.com/extreme/332275-nasa-auditor-reve...
The myth that program synthesis is hard and should be done using general-purpose tools like genetic/ml/smt has to die. Program synthesis is everywhere.

Program synthesis is far more tractable (as in, with complete or otherwise principled solvers and not ad-hoc SMT) in languages with strong or precise typing, eg https://www.youtube.com/watch?v=brjFqXkUQv0 (in dependently typed language idris2). In fact when you squint, principled program synthesis is what compilers do: if your source language is a "mathematically clean language" (eg regex, functional, dsl, ..), you can view your source program actually as a specification and the compiled output as a synthesized program validating that specification.

Several of high-performance programs are already written this way: crypto assembly routines, scientific kernels, sql queries, etc: they are written in a specific dsl which is closer to a mathematical spec than an algorithm, and then they are compiled to a "classical" programing language by a "meta-program".
It’s always the cable. Except when it’s not, then it’s another cable.

What happens is Windows tries to help - and so switched out of the mode you wanted because something in the cable or negotiation indicated it wouldn’t work.

Linux often doesn’t do that and just blindly runs ahead - and so if the monitor becomes working a moment later - it works.

Utilities for Mac and windows can sometimes force what mode it uses.
Author here, they are conflated for good reason. The printing press is really an advancement of the movable type system developed in Asia. What Gutenberg did wasn't really about the screw press as I elaborate on here:

https://erikexamines.substack.com/p/why-was-the-printing-pre...

The screw press already existed in Europe and was widely used. Reducing Gutenbergs invention to just being about using a screw press does not do justice to what he did. It was really about combining several techniques to advance printing. Better alloys for types. Better system for duplicating types. Better ink. A lot of the advancement could have been made even without the printing press itself. And the printing press without these advancement would have made very little improvement.
Author here - this xv6 port to the D1 (based on the riscv64 xv6 version developed at MIT) is an experimentation vehicle for me and my students since working with qemu alone can be a bit boring and it's easier to test some feature in a tiny OS. Of course, it's also fun to work on it...

"...won't be big and professional like gnu." :)

Based on the experiences with xv6, we are also working on porting some other non-mainstream systems to RISC-V hardware, including Plan 9, Inferno, Oberon, Smalltalk-80 (see my Raspberry Pi bare metal ARM version at https://github.com/michaelengel/crosstalk) and the f9 microkernel.

If you have any questions about the xv6 port just ask.

Shameless plug - I'm looking for a PhD student to work on OS/compiler/architecture-related topics in my research group here at Bamberg University (in the northern part of Bavaria in Germany).

If you know someone who might be interested, please let them know...
I think they are talking about bandwidth, not latency. Thunderbolt should give 40gbps, which is a ton of bandwidth.
ANSI describes why in their rationale: https://www.lysator.liu.se/c/rat/c2.html#3-2-1 .

The unsigned preserving rules greatly increase the number of situations where unsigned int confronts signed int to yield a questionably signed result, whereas the value preserving rules minimize such confrontations. Thus, the value preserving rules were considered to be safer for the novice, or unwary, programmer. After much discussion, the Committee decided in favor of value preserving rules, despite the fact that the UNIX C compilers had evolved in the direction of unsigned preserving.
Absolutely, whoever they used as a technical consultant was on point, and for a change the writers/producers/directors actually took their advice.
This is one reason I really like lua - it is a simple enough language that it can stand the test of time, while being easy enough to learn by anyone, and still being stupid fast with luajit. A great little language, especially when combined with teal.
how is this different from https://polymarket.com/markets?_c=crypto ?
Never gets old... :-)

"...I am going to try to make through this slide without crying..."

"...and by the way not to put too sharp a point on this..."
> In recent years the Haskell ecosystem has drastically improved.

And has been doing so for 20 years. But in the meantime, the other language ecosystems improve also, and new programmer expectations pop up.
It’s him. He has a discord where he shares his work
I'm under an impression that people who are talking about iPhone's "quality of implementation" have either never used iPhones or never used their competitors.
Use whatever feedback loop is most efficient (speed / accuracy).

Sometimes that's building a full app and getting it to market. Sometimes that's isolating a bug in a legacy system to a unit test. Sometimes its the compiler failing to build your code. Sometimes it's a data science problem, and it means training a model in a notebook, to measure its accuracy.

Don't get hung up on using one particular feedback loop.

Getting stuck in the wrong feedback loop is a big anti pattern of software development. When it takes forever to submit a job to some system, then takes 20 minutes to give you a type error in a scripting language, that could be caught by a linter or type checker sooner. Those 20 minutes easily turn into 60 minutes of distraction. Imagine instead you could catch this in 5 seconds with a test / linter / whatever. Then you'd resolve the issue in minutes. OTOH spending hours decomposing simple code into unit tests can be a waste of time, when the most value is submitting that simple code to a batch processing system, to see if it produces output...
As usual, the answer to 'why not Linux' is market share. Linux has numerous ways to sandbox applications. What it doesn't have is an advertising campaign promoting it on the desktop/phones. So it has a small number of users in those areas. Which means companies that dont care about freedom won't support it. And thus: banking programs dont run on the pinephone yet.

You can, of course, access your bank from a browser.
One more reason not to give the impression that you can assume that long is wider than int which is wider then short!
I don’t know, even very basic web development will require using plenty of these concepts, just in an ad-hoc, non-named way.

I feel learning them through Haskell in a way where they have a name and a concrete concept, have proper types and thus compile time errors is so much more easier.
I can demonstrate that KF is acting in bad faith: To this day Kiwifarms still hosts the Christchurch video, the same video discussed in Moon’s rebuttal here.

In 2022, Moon (the author of this HN link) posted the AU Government’s takedown order along with his response: “were a US company,” refusing to remove the CC video.

You can still find it by searching for “AU Government Class 1 Security Kiwifarms”

They clearly want to keep this content up.
Looks like the state senator lost an opportunity to buy and gift the goat to the kid
I'm not sure what the sales numbers were for the 110 film Instamatics but it was also the case that anything that used film that was much less than a 35mm frame in area was fairly compromised in terms of quality--especially when combined with other camera components that were low cost.
Ask HN: Which parental action increased your happiness and success as an adult?
Which specific action or decision did your parents make that most positively influenced your quality of life as an adult?
I'd like having a high-speed (10Gb) network port on the monitor, all connected through the single cable.

Sure, I think some of the latest USB standards should be able to support that while at the same time providing 4K@60Hz. But I'd also like the monitor to support higher resolutions, too.
I can only barely understand what’s going on in that link, but I think it really depends on target indoor environment.

While I don’t want the walls sweating, I could imagine there are industrial or commercial environments where moisture level matters a lot. Electronics plant: dry is always bad! Want some moisture to dissipate static. A library wants low, but not zero moisture. A manufacturing plant wants it to be very consistent. A fruit market wants its humidity high.

In a residential environment, it’s a toss up: some stuff wants to be dryer while other stuff doesn’t.
Exactly, but no luck. Maybe there is a technical reason.
Don't you come here with that Hebrew or Arameic or Greek gobbledygook -- we demand God's unadulterated word in the original King James version!

(Have actually seen something like that for real, fully seriously, on the Internet somewhere. Years ago, can't recall where.)
I knew about that but didn't think to include it has it wasn't widely used and lacked many important components. Not just the ink. A key advantage of Gutenberg's alloy was that it neither shrunk not expanded. That is what gave quick accurate duplication of types.

Wood cuts and bronze types were worth mentioning as they were widely used in China and Korea.
Unfortunately some of this stuff just can't be detected statically. So while warnings are an excellent starting point, I recommend also building and testing with UBSan+ASan enabled.
> One thing that doesn't get mentioned often is that the West had a "simpler" alphabet of 26 characters, 10 numbers, and a few punctuation marks (~20).

Really? I feel like this is usually used as the main - sometimes only - argument for why moveable type took off in the West. If you look at the Wikipedia for moveable type[1], the simpler alphabet is listed in the article summary at the top of the page as a reason for why Gutenberg's printing press was so successful.

[1] https://en.wikipedia.org/wiki/Movable_type
Which would be the south in this example? Britain being south of the Arctic, lowering and creating a new sea?
LOTR - By the time I finished it I already forgot details of the beginning, probably have read it 4 or 5 times over 3 decades.

Hyperion series. I got it in an uneven way, first the 3rd Book (Endymion), many years later Hyperion (I still think that by itself is one of the best books that I've ever read, and read it many times), and after more years, finally found locally the other 2 books, and read the whole series 2 or 3 times.

Dune (the first 5 books), Ringworld, The end of Eternity, The name of the wind, Small Gods, Ender's Game, Foundation trilogy, Flowers for Algernon are others that I remember now to have read at least twice, probably more.

There are books that are good, but small hints make me remember all/most of the plot. Probably can't read twice any of the Agatha Christie books because of that.

And there are books that I have the intention to read at least once more, maybe taking notes while doing that, but never gave it the time. The Incerto series by Nassim Taleb is one of them.
It's trivial to incorporate a business to buy property, I wonder how easy that circumvention is.

Canada is oddly one of the places in the world wherein it's difficult to discover who owns what.
I started on a Commodore 64 in 1983. I share your opinions. I think it's hilarious how much I am paid by companies to write their crapware.
I have a different LG ultrawide, and I was able to update its firmware through their split screen software, which made it behave much better with MacOS.
Out of these two antagonistic online mobs, which is the disempowered one?
3G sure was pretty common in 2007. US was always behind when it comes to cellular networks.
Hetzner has hosted NextCloud, starting at ~5€/month for 1TB. Just works.

https://www.hetzner.com/storage/storage-share
I found this much more human set of docs, not written by GCP DevRel.

https://www.evonence.com/blog/cloud-run-accessing-cloud-sql-...

The official GCP set of docs for this matter feels like gibberish, and just giving literal zero-value add explanations of form fields.

https://cloud.google.com/run/docs/configuring/connecting-vpc

For example, "3. Click create connector. 4. In the Name field, enter a name for your connector. This must be in accordance with the Compute Enginenaming convention, with the additional restriction that it be less than 21 characters with hyphens (-) counting as two characters."
What TB to DP adapter do you use? I have a similar setup (49" + M1 Mac), but I have a KVM switch between them for switching between the mac and a windows machine. The windows machine has worked flawlessly, but not a day goes by that the Mac doesn't crash the monitor and I have to force shutdown by holding the monitor power button for 5s.
Ask HN: Any outdoorsy HNers who want to do a wilderness meetup?
I love wilderness hiking and overlanding all over the west, and I've got a big list of 'secret sites' I've been to that are amazing and free to camp at. Some of them are even right on rivers and allow for hours of kayaking.

When I camp with friends it's mostly hanging out, music, drinks, amazing cooking, some mind-expansion for those who are into it, etc.

If we can get a handful of people on board, I think something in October/November of this year would be very doable.

Thoughts?
I read somewhere (and can’t seem to find the link) that the rollback to the VAB is because there is a small battery powering the abort system that has an approximate 3 week lifespan. And this past sat was near the end of that timeframe.
Well, for what it's worth this conversation has nothing to do with state mandated moderation. I think it's completely defensible to have a strong stance against state moderation (given the various other forms of obscene power the state has) and have a fairly free-market view of service providers choosing to moderate what flows through their own servers.
Agree 100% and I spend a fair amount of time wondering why this hasn't happened. I built piet-gpu-hal because I couldn't find any abstraction layer over compute shaders that supports precompiled shaders. A motivated person absolutely could write shaders to do all the operations needed by Stable Diffusion, and ship a binary in the megabyte range (obviously not counting the models themselves). That would support Metal, Vulkan, and D3D12. The only thing holding this back is a will to build it.
evaluator is superclass of both interpreter and compiler. monad is interpreter only - as it essentially models continuations, you cannot know what a monadic computation will do without running it whereas compilers are static analysis transforms over a static AST data structure. monad : dynamic :: applicative : static. dynamic means control flow (continuations being the foundational control flow primitive that can express all others aka imperative programming); static means declarative, it’s a data structure (no control flow) which can be inspected and statically analysed and decomposed into components then reassembled, all without evaluating it. applicative permits zero cost abstractions where a declarative high level abstraction is compiled into a target implementation and baked such that the abstraction has no runtime cost. because it has no control flow, applicative also captures parallelism - a data transform can be massively parallelized because there is no control flow / dynamic runtime state to coordinate.
> and just...ditch miniconda please

Why the recommendation to stop using miniconda?
Reusing shuttle engines only to throw them into the sea. The RS-25s are engines that were designed for the shuttle program to be able to be refurbished and reused after each flight. Using them on this disposable rocket stage is like using a Stradivarius as firewood because you happen to have one lying around.
How is unprocessed cow's milk different from mother's milk?

Edit: From the article--Raw milk can contain harmful bacteria, so the research project is focused on minimally processed farm milk.
If you're a techie looking to understand everything, USB-C is a confusing mess - however if you're just a regular person buying a random USB-C dock at the computer store, it's very likely the model you're going to get will support charging, display out and fast enough port speeds that using an external drive won't be painful.
But I save time by pouring in less when less is needed.
Keffals openly admits and is proud of their connection to providing children with hormones-blockers outside the supervision of parents. The police need to be involved in all of this
Could you give a real-world example of how it proved useful?

Eg, quoting the text:

> Angelico noted that he has used the Pike programming language, which does have a labeled break. He found that he had used the feature twice in all of the Pike code he has written. Neither of the uses was particularly compelling in his opinion; one was in a quick-and-dirty script and the other is in need of refactoring if he were still working on that project, he said. That was essentially all of the real-world code that appeared in the discussion.
Meditations by Marcus Aurelius.

There are some great insights and reminders about how life is. I also like the perspective on humans over time, and how little has changed within our minds in millennia. We still face the same problems, the same temptations, the same expectations. I find some comfort in that.
“that I didn't have a VPN connection running”

Likely not telling you something you don’t already know, but many sites persist access logs and can answer “Which IPs accessed this account?” for a very long time indeed.

If you’re using VPN providers rather than a DIY approach, or even if you DIY through a cloud or other hosting provider, it’s extremely easy to answer questions like, “Which IPs that accessed this account came from known eyeball networks like Comcast?” (or cellular networks).

If your goal is masking your true location then all it takes is one slip-up and it’s somewhat irreversible. In security roles, I’ve seen more than one threat actor busted through one slip-up (“Whoops we forgot to VPN when accessing one time, 14 months ago”).

If you’re aiming to have a site not know Profile A and Profile B are the same, ditto, except now you also need to not access the site using the same methods, and also consider to what degree your browser / client can be fingerprinted.
This could possibly explain the issue with the USB-C monitor, but then why would this work after the HDMI circus? The hardware and OS clearly are capable of doing this, and no cable is replaced in the process. I also don't move them around during the reboot.
The linux-phone ecosystem seems to be doing alright just by porting applications from the rest of the ecosystem. It's a lot more usable than it was a year ago.
You can use a different combinator if you don't like .

What other languages have a different behavior? Pipes in shell and python work the same way.