skysight-inc/HackerNews huggingface dataset:
This is part of the reason why I distinguish between free-market economics and capitalism, where the people with capital make the rules (including social capital, like current doctors).

At the level of persuasion, I don't understand why people use and defend "capitalism" rather than "free-market economics".
the best practice is just use PostgREST.
Ok. So what dumpster fire are you going to start next month?
> I'd say e=mc2 was pretty novel

Well, the rest mass notion in special relativity is just a natural derivation. It appears once you have the "real" ideas in place. And those aren't really "existing math" at all. It was a pure physics idea at root: "the universe's laws don't change if you are in motion" (or alternate framings like "you can't tell if you're moving from inside a moving box").

Well, it turns out that if you try to construct such a theory, you end up needing some different (pre-existing) math to help describe it. But the idea isn't math at all.

Then the question is "Can LLMs propose new well-framed, evocative theories like relativity", and the answer is sort of open. In point of fact human beings, to first approximation, can't do this either!
The choice here is not given to the JDK but to the application developer who can choose which protections to turn off in the application's configuration. All it does is prevent libraries doing things that may interfere with the application or impose risks on it without the application knowing about it.

> the big fat zero of times where someone has complained about an integrity violation on the JVM

~99% of the migration difficulties from 8 to 9+ were due to integrity violations of the core library (remember, module encapsulation was turned off by default until JDK 16). The cost of that alone is, well, high, and that doesn't even count library vulnerabilities. Integrity violations have been the #1 cause of complaints over the last several years.

Integrity is important because it is a prerequisite to portability ("upgradability"), security, correctness, and some important performance optimisations. If you haven't heard people complain a lot about any of these things then you haven't been listening.
Ask HN: Seeking a collaborative LLM prompt-writing playground, hitting dead end
The closest I've found is https://www.braintrust.dev/

The requirements:
- Hosted platform to create & run LLM prompts
- Usable by technical & non-technical users
- Versioning & history tracking of prompts
- Playground to chain, and evaluate prompts against a dataset

Actually, Adaline (https://www.adaline.ai) is the closest but looks like a 1-man band and he hasn't got back to me (Arsh, holler!)

What should I look at?
Why overcomplicate a simple tool? If you're not soldering professionally and only need it a few times a month, I never see anyone recommend the Hakko FX-600. I couldn't be happier with mine. Heats up in seconds, adjustable temperature, uses standard Hakko tips, and very affordable. And takes up no bench space, you just shove it in your toolbox (with a tip cover) when you're done with it. The only downsides are that it's not as slim as a soldering station, and the temperature adjustment is in 20 degree intervals. Hakko is a reputable brand, and I have had 0 issues with mine.
Again I think you have a deep misunderstanding of how this works. This puts control into the hands of the everyday application developer! It ensures that the application developer knows what correctness, portability, and integrity guarantees their program has.
The comment you replied to said European Colonialism, not European Slavers.

Were these Peruvian slavers native Peruvians, who acted in accordance to the culture and society they had before Europeans arrived there? Or were they people who had moved to Peru from Europe as colonizers and who decided to keep the system of European colonialism after it became independent?
They probably fired him because of the 90% stock drop, not because of any user complaints. There is no reason to believe the new leadership has different values, and people are right not to trust the company.
Notably channels differ from actor mailboxes in that they have a capacity, and can block the sender. Mailboxes cannot block the sender, and they do not have a capacity in theory.
I can only say that I'd be a customer for this. I'd much rather electrify my old car than throw it away to buy a brand new car with a ton of features (and anti-features [1]) that I don't want.

If somebody sold a cheap, mostly-analog electric car I'd probably buy it. But they probably never will in the US.

[1] https://foundation.mozilla.org/en/privacynotincluded/article...
Oh yes, that's the other reason I don't use Kitty -- personalities. Enjoy your day.
Where are you seeing a TRS connector? Looks like it's USB-C everywhere to me...
I'd be curious what an LLM would be able to accomplish if it was given all pre-modern texts we have access to. Would it be able to come up with ideas we know as modern (political theories, philosophical ideas, scientific theories, etc.)?

I have a hard time believing that if we fed an LLM all prehistoric speech uttered from humans that no matter what, it would never escape the paradigms of those people. If that is the case, than would relying on LLMs just get us stuck in our own paradigms and prevent true "progress"?
Exploring the Lambda Calculus with Python (2022)
>and are not allowed to use violence to exert their will.

Define violence.

You may look at this and think "What are you, stupid?" But stick with me for a bit. Let's grab a few examples of free market atrocities. Asbestos; thalidomide; hexavalent chromium; fossil fuels (and hiding research since the 60's about climate change); the sugar industry (also famous for it's scientific gaslighting); Purdue pharmaceuticals, Oxycontin, and it's coincidental treatment for opiate addiction which was in the pipeline...

Now lets grab a few definitions of violence and see if we can bucket some of these into them without too much trouble.

https://www.wordnik.com/words/violence

Definitions numbered top of page to bottom. Are there any acts that fit the word violence that companies regularly do?

Take a look at # 7, quoted here:

7) Injury done to anything which is entitled to respect, reverence, or observance; profanation; infringement; violation.

Companies do that all the effing time. In point of fact, it's practically their reason to exist at all. The corporation was initially formulated as a risk-impact distribution tool. That there is risk associated with it, implies an understanding that the vehicle can do harm.

And before you go saying "but that's not the legal definition..." I'm going to head that off with a single word, "Yet", and further seal off the wiggle room by referring you to the practical outcomes of all these allegedly non-violent exercises of corporate power; the scarring for life if not termination of of life by the thousands to million. You don't get kill counts that high through acts of human artifice, and still get to hide behind the bulwark of "but it wasn't violence" a kill via indirection is still a kill. a life ends or is irrepairably harmed. While their is a practical lenience extended based on the matter of human imperfections and inability to know everything, be everywhere at once; with technology, nowadays the old platitudes tend to ring a bit hollow. Where executives can literally sit on event streams created by their corporate systems; where reports that unequivocally say "bad shit'll happen", and it gets buried instead of escalated for the consideration of all; and to what end? To what benefit are these atrocities committed at the expense of the common good? The self enrichment of the few, and consolidation of wealth and power.

That my friend, is inarguably violence. That doesn't even require the 4th sense of violence either.

noun. Distortion of meaning or intent.
I'm well aware of functional programming as focusing on composition.

One of the reasons you end up with "refactoring the entire program because of some change" is when you discover that your entire composition scheme you built your entire program around is wrong, e.g., "Gee, this effects library I built my entire code base around to date is really nifty but also I can't actually express my needs in it after all". In a conventional language, you just build in the exceptions, and maybe feel briefly sad, but it works. It can ruin a codebase if you let it, but it's at least an option. In Haskell, you have a much bigger problem.

Now filter that back through what I wrote. You want to explain to your junior developer who is still struggling with the concept of using things other than strings why we have to rewrite the entire code base to use raw IO instead of the effects system we were using because it turns out the compilation time went exponential and we can't fix it in any reasonable amount of effort? How happy are they going to be with you after you just spent a whole bunch of time explaining the way to work with the effects system? They're not going to come away with a good impression of either Haskell or you.
>2.5l/100km

They managed to beat 25 year old Euro car https://en.wikipedia.org/wiki/Volkswagen_Lupo#Lupo_3L
We designed the system to work for people at a variety of price points.

If you just buy the iron, you have access to all the settings in our web console: https://www.ifixit.com/fixhub/console

The iron persists settings when you unplug it. You can change the sleep timer and timeout, set target temperatures, calibrate the accelerometer, and more.

The Power Station is nice to have, but you don't lose any functionality without it.
I don’t want the community hijacking my library by fossilizing some implementation detail. If you want to fork it, own it and do it, but don’t force that on me by using something you weren’t meant to and then bitch and moan when I break your code by changing some detail.
Haskell had a large impact on the design of JAX which is probably the future of ML development frameworks.
Porting a game to another engine is going to be a monumental task.
> I assumed

Oh man, this is my favorite part of the Apple Design Cycle!

1. Apple announces a new feature that is suspiciously invasive and only marginally useful (eg. iCloud Screening, Find My, OCSP, etc.)

2. Self-conscious, Apple releases a security whitepaper that explains how things should work but doesn't let anyone audit their system

3. Users assume that things are okay because the marketing tells them it is okay, and do not ever consider the potential for an exploit

4. The data leaks, either to advertisers, Apple employees, warrantless government allies, government adversaries or OEM contractors

5. Apple customers attempt to absolve themselves of responsibility ("How was I supposed to know?")

I've seen this process so many times at this point that I'm just apathetic to it all. Maybe one day people will learn to stop assuming the best when there is literally no evidence corroborating it.
That would only would be an issue if there is untrusted code running in the same jvm. The security manager was a really difficult way to stop this. Another approach I’ve used is to scan the jar and disallow all but whitelisted classes in the bytecode. Worked well.
EC2 migrated off Xen around ten years ago. Only really old instances should be using Xen or Xen emulation.
The Video Game Industry Is Cooked
The original poster said they want to use Haskell professionally but that they are struggling to understand how to structure programs.

> Once you're there, I don't think 'choosing an effect system' is a perilous question. The monad transformer library, mtl, is an effect system, the second simplest one after IO.

I'm aware of that, generally when people say "choose effect system" they mean choose some algebraic effect system, all of which (in Haskell) have huge pitfalls. The default should be monad transformers unless you have some exceptional situation.
I don't see how this is relevant. This purely puts control into the hands of application developers. It lets them know exactly what correctness, portability, and integrity guarantees their application has. The application developer STILL can "fix their phone", but they have to enable it at the command line. It pevents library developers from making decisions for application developers without them knowing.
Battery cost + density is getting better so quickly the idea of a "BIFL" battery seems silly to me.
This iron has more power than the Pinecil so it gets hotter faster and will heat up big chunks of metal faster (like ground planes or connector shells).

Honestly, I've never been that interested in the Pinecil. It's nice that it's small but you still need a big type C supply. I could give a rats ass that it has open firmware and runs a RISC-V. I only care if it can push a lot of heat accurately and if the tips are affordable and available. Anything else does little to sway me.

My solder station at work is an incredibly dumb Metcal that only has a power switch. Heat is controlled by the tips you use. When you pull it from the iron rest, it turns on instantly. Put it back and it turns off. The handle is just a plug for the tip, all the power electronics are in the base unit. It's got two plugs so you can run dual irons for microsoldering or if you just want a big chisel tip at the ready.
Are text blogs dead in 2024? Can you recommend any CS text blogs in 2024?
Amazing! Thanks for clarifying. Now I'm much more interested
https://www.iflscience.com/lsd-dna-pcr-the-strange-origins-o... would argue that it was exactly mixing and matching at play here, but that the component parts wouldn't necessarily have been called to mind without the hallucination.
How do you define single creator? The person who typed the first keystroke?

It seems pretty silly to claim that Algol 60 has thirteen creators. Sure, Wikipedia lists that many names in some table, but that is not really a significant statistic, now is it? Java 22 probably has hundreds of people who contributed to it.

Fun exercise though :)
I think the death penalty should be on the books, but the practical application of it is so unworkable that it should effectively never be administered. The biggest problem, of course, is that there's no way to make a wrongfully sentenced person whole.
"Please download a random binary from a place that doesn't even charge for the binary and seems to be set up yesterday" is... raising my hairs.

I'm sure odds are this actually isn't malware, but - I'd think about how to address that fear.
I've wondered that too. If we trained an LLM on only the scientific content that predates Einstein could it come up with general relativity?

How much coaxing would it require to get it there? What would that process be like?

Can we learn from that and get an LLM trained on all scientific material pre Einstein and post to discover new physics stuff from what we learn from that process?
TFA is a bit longer than many and might take a little more time to fully digests. It does raise some good points.

I want to add that one of the reasons I think it is sometimes hard to "buy things that work well" is just "work well" often means one thing for the consumer and something else to the producer. For a consumer a product works well if it does the job well for the consumer. For a producer a product works well if it makes money for the producer.

The Volvo crash safety example is good. For Volvo (Ford) having the highest safety results from crash tests is fine. "Highest crash safety rating" sells more cars (presumable) and having to incorporate real world data and lots of R and D is less efficient. For the consumer real world experience is the only thing that matters.
The LED on the iron turns orange once it reaches your target temperature. It glows purple while it's heating, and blue when it's safe to touch.
"Serenity now, insanity later."

https://www.youtube.com/watch?v=MJVIX-4OyT0
You wrote

> Haskell solves the problem of the representation of computations which may fail very differently: explicitly through the type system.

In my experience this is very hit and miss. Some libraries use exceptions for lots of error states that in Go would be a returned error value. I'm therefore left to decipher the docs (which are often incomplete) to understand which exceptions I can except and why and when.

Last library I remember is https://hackage.haskell.org/package/modern-uri

From their docs:
> If the argument of mkURI is not a valid URI, then an exception will be thrown. The exception will contain full context and the actual parse error.

The pit of success would be if every function that can fail because of something reasonable (such as a URI parser for user supplied input) makes it a compile time message (warning, error, whatever you prefer) if I fail to consider the error case. But there's nothing that warns me if I fail to catch an exception, so in the end, in spite of all of Haskell's fancy type machinery, in this case, I'm worse off than in Golang.
Not sure about the quality of the model's output. But I really appreciate this little mini-paper they produced. It gives a nice concise description of their goals, benchmarks, dataset preparation, model sizes, challenges and conclusion. And the whole thing is about a 5-10 minute read.
Not necessarily! The front of the car could be lighter or heavier as long as the total car is balanced. This is the way that the high-end EV conversions do it (e.g. https://revoltsystems.com), but most at-home EV conversions simply fill the trunk with batteries which is way simpler but won't be nearly as good a driving experience (e.g. https://ev8electric.wordpress.com/wp-content/uploads/2015/05...)
People voted with their wallets for more hours per dollar instead o focusing on the quality of that hour, so that's the way the game design went.

Until people stop being sold on "over 200 quests!" not much will change in the AAA world.
> Criminals would be looking for infractions to take cops to court with, constantly. Things that are overlooked for normal people (jaywalking) would end up with cops wasting their time in court or even jail.

Maybe this just isn't a good example, but AFAIK I can't, as a private citizen, do anything about someone jaywalking, speeding, etc. That enforcement is the sole jurisdiction of the cops. So trolling cops with it is not an avenue for criminals.

And I'm hard pressed to see how enforcing these things more stringently against cops is a bad thing. Cops SHOULD be setting the example here.
And we are all delighted to be spared from your personality in the kitty community. Enjoy your day as well.
There's an argument to be made that to the extent they break the rules in some manner, they're doing more harm than good. Should you be testing scenarios that are impossible to encounter with the code? Should frameworks be breaking encapsulation and contracts of code?

Most of the time breaking the rules is a reflection of either a bad practice or lack of functionality in the language. I'm all for experimenting in either of those dimensions, but there's a lot of value to have a default behaviour of not doing that.
"I don't think you understand what the product is. The product isn't the platform, and the product isn't your algorithm, either. And it's not even the software. Do you know what Pied Piper's product is, Richard?"

"Is... Is it me?"

"Oh God! No! No. How could it possibly be you? You got fired. Pied Piper's product is its stock."
I see, it's then from the same document as blinkenlights.

https://jargon-file.org/archive/jargon-4.4.6.dos.txt
The twist is that the TRS is the heating element.
We use a TRS connector between the tip and the iron. And yes, it's a lot of amps!

It's amazing how versatile a well designed analog connector can be.
Firing him was the move people wanted, and they did it. We don't know why, but it at least feels like they listened.

Not firing him was 100% certain to be for the wrong reasons.
I'm outlining a fantasy story I want to write, I've found using image generation (leonardo.ai) very helpful in nailing down what the world looks like and how it'll work, I've actually changed my mind on a few things based on what the AI generated.

Plus honestly it's just genuinely fun! I've resisted moving to one of their paid packages just yet because I think I'd spend all day on it!
Is the same true of Unreal?
Metformin decelerates aging clock in male monkeys
Why carnivore influencers claim we should eat only meat
My blog is a text blog. Just change the ".html" to ".txt" on any post.

For example, here's "Big O's Kitchen": https://breckyunits.com/bigOsKitchen.txt
i just read this paper on arxiv and im still trying to wrap my head around the implications so the authors got over 100 nlp researchers to write down novel research ideas and then had them review ideas generated by a large language model (llm) without knowing which ones were human generated and which ones were from the llm and the results are pretty fascinating the llm generated ideas were actually judged to be more novel than the human ones p value < 0.05 but slightly weaker in terms of feasibility i mean whats the point of having a novel idea if its not feasible right but still its pretty cool that the llm can come up with stuff that humans havent thought of before

and the authors are saying that this study highlights some of the open problems in building research agents that can generate novel ideas like the llm was bad at self evaluation it couldnt tell which of its own ideas were good or bad and they also found that the llm generated ideas that were too similar to each other lacking diversity i mean thats not surprising right llms are trained on huge datasets but theyre still just pattern recognition machines they dont really understand the context or the implications of what theyre generating

but heres the thing novelty is hard to judge even for experts i mean how do you even define novelty is it just something that nobody has thought of before or is it something that challenges our current understanding of the world and the authors are proposing a follow up study where they actually have researchers execute these ideas into full projects to see if the novelty and feasibility judgements actually translate into meaningful differences in research outcomes which is a great idea i mean thats the only way we can really know if these llms are useful for accelerating scientific discovery or not

anyway im rambling on now but i just think this is a really interesting area of research and im excited to see where it goes can we really use llms to accelerate scientific discovery and what are the limitations of these models and how can we overcome them etc etc
Amazon's Shipping and Delivery Emissions Just Keep Going Up
Lean definitely intends to be usable as a general purpose language someday. but I think the bulk of the people involved are more focused on automated theorem proving. The Lean FRO [0] has funds to guide development of the language and they are planning to carve out a niche for stuff that requires formal verification. I'd say in terms of general purpose programming it fits into the category of being "relatively far from haskell in terms of maturity".

[0] https://lean-fro.org/about/roadmap-y2/
What I'd really like somebody to do is just stick a field-replaceable 18650 or 21700 battery in the handle. If you want to get fancy, add a dial for temperature control.

Webserial and such makes for a cool tech demo, but I just want portable soldering with standard field-replaceable batteries.
Were you ever at Crittercism by chance?
Some two party laws don't specify that it has to be over the wire. They refers to recording a conversation where there is an expectation of privacy. The cabin of a private car certainly falls under that.
Isn't there problems with replacing a single cell causing the battery management system to go whacky? I was under the impression that the cells need to be balanced with each other in some fashion.
Three big differences in comparison with Erlang:
1- Cannot externally kill a process (yes, ergo process have a Kill method but the process will be in a "zombie" state until the current message handlers returns... maybe stuck forever)
2- No hot code reloading.
3- No per-process GC.