skysight-inc/HackerNews huggingface dataset:
it's a bit of an issue experimenting in PvP early on. Because odds are that vets have already distilled out that discovery and know exactly what each attack does, who counters it, and when and how to maximize synergy. Someone already did that legwork and will use the knowledge against you.
The ordinary send operation blocks if the channel is full (or has no buffer), but you can send (or receive) without ever blocking, if you can accept that the message is dropped instead. It's not the most ergonomic operation, though:

var sent bool
select {
case channel<-message:
sent = true
default:
sent = false
}
Not to mention insurance.
Show HN: A YouTube videos course generator
REPOST! (to get more feedback from HN)

An exciting aspect of what I'm working on is that users can create their own playlists. For example, you can provide a description of what you're learning, such as a lesson title, and the pipeline will create a youtube playlist. Since the content is highly customized, it will be relevant and high-quality, matching current lessons or lectures in school or university.

I'm trying to find a product structure that users will find valuable and effective.

The web app is completely free to use right now as I figure out the best model.
The thing that always amuses me when I read articles like this is that the things they point out as differentiating the language are usually, at best, small time-savers.

1. the lack of nullable types

I very rarely write these bugs, and when I do I can typically fix them in 5 minutes. This is because I typically do (2) in my projects, which does largely eliminate this error.

2. representations of “failable” computations

Basically any modern language can do this. It might not be 100% as ergonomic as it is in Haskell, but it also isn't a large source of bugs in my experience.

3. pattern matching and completeness checks

Okay, these are nice and ergonomic in Haskell. Other languages get pretty close. Again, not a source of time-consuming bugs.

4. the avoidance of “primitive obsession”

The example he gave for this is innanely contrived, and the bug would likely take a small amount of time to fix, even for a junior. Admittedly, this is a nice convenience feature and I would love having types for different color spaces, or radians vs degrees, but at the end of the day I spend basically 0% of my time on bugs like this, so it's barely worth mentioning.

You know what I'd like a language to help me with? Keeping track of inter-data dependencies so I don't have to litter my code with a million assertions to make sure the sub-type of the sum type I'm working with is correct. Or giving me a way to express structural dependencies between pieces of code when writing multithreaded programs. Like saying "hey, this render pass has to happen after 'DoEntitySimulation' has completed" .. or whatever. I'm not aware of any language that even tries to do that, although I think Bungie wrote something like this in their engine for Destiny2.

And metaprogramming. I ended up writing my own metaprogramming language because none of the ones I tried could even do the basics of what I wanted in an ergonomic way, and be runtime-performant.

For reference, my language of choice is typically C++99. Maybe I'm not the intended target audience.
> The security manager was removed as no one used it well or found it useful.

That's as much an indictment of the Security Manager than anything else. ;-)

> Every one of these features were added because they were useful to java developers.

Which creates a requirement in my mind that removing those features needs to be justified by adding more benefit than they take out, but it is entirely possible that those features were the best way to address the needs of Java developers.

The reality is that Java is no longer seen has being a high integrity runtime anymore, so nobody uses it that way. The use cases for a high integrity runtime haven't gone away though.
In the context of version control, some formatting rules work better than others.
I've driven between Boston and Montreal in a 2018 Prius Prime and got something like 60 mpg despite a large part of the trip being through the mountains of Vermont. Hybrids are a fantastic technology that, in a rational world, should have completely taken over the mainstream car market 15 years ago. Momentum seems to be slowly going towards PHEVs, which actually benefit even more from ubiquitous charging infrastructure than long-range BEVs. Unfortunately having owned a PHEV for the last 5 years, charger availability does not feel like has expanded at all, despite there being 10x as many EVs on the roads as 5 years ago. So if you can even find a charger, it is probably occupied.
well, it's called "reddit" not "modify-via-API-it" :-)
> Give it a try. Especially, if you don't know what to expect, I can guarantee that you'll be surprised!

And I will as strongly as possible emphasize the opposite you should not.

If you are are already experienced in functional programming, as well as in statically typed functional programming or something lovely in the ML family of languages then only then does Haskell make sense to learn.

If you are looking to learn about either FP in general, or staticly typed FP Haskell is about the single worst language anyone can start with. More people have been discouraged from using FP because they started with Haskell than is probably appreciated. The effort to insight ratio for Haskell is incredibly high.

You can learn the majority of the concepts faster in another language with likely 1/10th the effort. For general FP learn clojure, Racket, or another scheme. For statically typed FP learn F# or Scala or OCAML or even Elm.

In fact if you really want to learn Haskell is is faster to learn Elm and then Haskell than it is to just learn Haskel. Because the amout or weeds you have to navigate through to get to the concepts in Haskell are so high that you can first learn the concepts and approach in a tiny language like Elm and it will more than save the amount of time it would take to understand those approaches from trying to learn Haskell. It seems unbelievable but ai found it to be very try. You can learn two languages faster than just one because of how muddy Haskell is.

Now that said FP is valuable and in my opinion a cleaner design and why in general our industry keeps shifting that way. Monoids, Functors, Applicative are nice design patterns. Pushing side effects to the edge of your code (which is enforced by types) is a great practice. Monads are way overhyped, thinking in types is way undervalued. But you can get all of these concepts without learning Haskell.

So that's the end of my rant as I've grown tired of watching people dismiss FP because they confuse the great concepts of FP with the horrible warts that come with Haskell.

Haskell is a great language, and I'm glad I learned it (and am in no way an expert at it)- but it is the single worst language for an introduction to FP concepts. If you're already deep in FP it's and awesome addition to your toolbox of concepts and for that specific purpose I highly recommend it.

And finally, LYAH is a terrible resource.
The blog post recommended the TV show "inside nature's giants", and I second it.

The bit about the recurrent laryngeal nerve of the giraffe is particulary memorable: https://www.youtube.com/watch?v=cO1a1Ek-HD0
Would you be able to tell if it did? There could be an obscure document in the training set that contains the idea. It seems like a very hard problem to definitively detect whether a concept came from the training set.
Well, EVE is quite different from PoE in this regard. PoE is cosmetics-only on paper (they frown upon RMT as you said, but don't really enforce it... and in other countries, like Tencent's Chinese home, you can straight up buy P2W equipment directly from the in-game store).

But EVE is pay-to-win by design. Not only do they NOT discourage exchanging real money for in-game currency, it's actually how CCP makes its money. You straight up buy the in-game "ISK" currency with USD or other fiat money: https://store.eveonline.com/#plex

You cannot, however, sell ISK back for USD (well, you can and people do in third-party marketplaces, but then it becomes a RMT that violates the official terms of service, but it's much cheaper to buy ISK that way than from CCP).

If you're going to make an international game subject to real-world conditions, it doesn't matter what your rules are, people in poorer countries WILL go around them to sell services and items to first-world players – and who could blame them? Beats working in a sweatshop. Every MMO has unofficial RMT marketplaces like that. It sounds like EVE just wants to run the marketplace themselves, like Blizzard tried (and failed to do) with Diablo 3... an idea before its time, I guess?
I love Haskell but I hate using it.
I've been to Café Central. There was a waiter standing outside telling you only to come in whenever a seat has been vacated. Once in it didn't feel crammed, and it was quite the sight. Don't eat "Sacher Torte", it's quite bland for today's standards. The Kaiserschmarrn was fantastic though.
That app gets a real time Gaze vector, which unless I've misunderstood something, non-core apps don't get.
This was a constant source of confusion for me with Akka. They seemed almost proud of how much boilerplate and how many weird implicit conversions were exposed to the developer.
That looks awesome!

I was wondering if it requires a 100W PD supply, but according to the manual everything with at least 20W should work.
Show HN: Search San Francisco using natural language
Hey HN! We're Alex and Szymon from Bluesight (https://bluesight.ai/), where we're developing a foundation model for satellite data. We've created a demo to showcase the current capabilities of state-of-the-art models and identify areas for improvement.

Our demo allows you to search for objects in San Francisco using natural language. You can look for things like Tesla cars, dry patches, boats, and more.

Key features:

- Search using text or by selecting an object from the image as a source ("aim" icon)

- Toggle between object search (default) and tile search ("big" toggle, useful when contextual information matters, like tennis courts)

- Adjust results with downvotes (useful when results are water images)

- Click on tiles to locate them on a map

- Control the number of retrieved tiles with a slider

We use OpenAI's CLIP model (https://openai.com/index/clip/) to put texts and images into the same embedding space. We do a similarity search within this space using text query or source image. We are using CLIP finetuned on pairs of satellite images and OpenStreetMap (https://www.openstreetmap.org/) tags (https://github.com/wangzhecheng/SkyScript) because vanilla clip performs poorly on satellite data. We pre-segment objects using Meta's Segment Anything Model (https://segment-anything.com/) and pre-compute CLIP embeddings for each object.

We'd love to hear your thoughts! What worked well for you? Where did it fail? What features do you wish it had? Any real-world problems you think this could help with?
I love iFixit, but their tools, parts, and kits have been a bit mixed (bit of poor, bit of good) in terms of quality.
I think I get it better now but I’m still not finding why keeping the whole comment in a commit message is better than in the source code. If it’s in source, I don’t need a context switch to read it, I can improve it (e.g. if the wording was ambiguous), I can easily extend it without asking people to read commits X, Y and Z in order.

What’s the advantage?
And most importantly it is enough to debug and fix the system.
OpenAI O1-Mini
I don't think people dream about work productivity software. These are things we use because we have to, not because they genuinely make us happy.

When someone works with some crappy piece of work software, they don't think "I wish it had XYZ features", they think "I wish I had a better job"
That is a tragedy. The amount of talent and brilliance robbed from the world…

I still don’t understand why companies buying other companies should be a thing at all. Anti-trust solved, competition restored.
That makes sense, thanks for the response!
Creativity is one of the most problematic concepts in psychology. I am right now reading

https://www.amazon.com/Sounds-Bell-Jar-Psychotic-Authors/dp/...

where the authors (a psychologist and two literature critics) carefully tease apart the connection between creativity and psychosis which is of course problematic because insanity mostly gets in the way of being creative which leads to much more serious definition of what "being creative" really means than one usually finds. (One thing they point out is that a third-rate artist (Andy Warhol?) can become quite prominent if they are good at marketing their work.)

People who are religious will make a theological argument to the effect that "God gave you the power to create when he created you" or "You can be creative because God is inside you".

Atheists may dismiss these arguments out of hand but it's a mistake to do so because of

https://en.wikipedia.org/wiki/Ontological_argument

in the sense that "God" can be defined as "the reason why there is something instead of nothing" which could have no relation to the image of some old patriarch on a throne. If we are made "in his image" we should consider the image revealed in a microscope that reveals that we are based on cybernetic principles that apply to the individual cell as well the whole organism and how those principles apply to the evolution of language and culture as they do to our genetic endowment.

(Insofar as God can delegate his creative ability to you, can't you further delegate it?)

A vulgar version of this is Rodger Penrose's "I can solve math problems because I am a thetan" where he claims to be exempt from the problems that Godel and Tarski and Turing warned you about but since there is nothing complete or consistent about Rodger Penrose these don’t apply (he can't solve Collatz and neither can a OT VIII!)

Muddy thinkers may reject the existence or relevance of God or not explicitly believe they are "a spirit in the material world" but often think there is something uniquely human about creativity (can other animals be creative?) but I sense that the ghost of the arguments above is behind that thinking.

In this transcript I get Python to create something that was never seen before and will never be seen again

>>> uuid4()
UUID('21205a92-2611-4710-b120-4a94f5ccf2d9')

which is by no means interesting; real creativity involves creating something that is useful and/or expressive using certain resources and subject to some system of constraints. Insofar as some task is repeatable, creativity is involved in the creation of some process or and/or system that makes the task repeatable.

As Edison put it “Genius is one percent inspiration and ninety-nine percent perspiration” so it is not so interesting that the LLM can generate novel (yuck I hate that word, "novel" is the first word I delete when I have to squash a long paper title to fit into 80 characters) research ideas, I'll be impressed when it can fill out a grant application that gets funded.
Because implementation details are not an interface. Say that, for example, in the future the module code evolves and `y` becomes cached or lazy loaded. Then your external code reaching in and setting `y` to -42 directly may no longer have the effect that it did when you wrote your "monkey patch".

https://en.wikipedia.org/wiki/Monkey_patch#Pitfalls
It’s very possible to run a light/small layer on top of ZFS (either userspace daemon or via FUSE) to get you most of the way to scaling ZFS-backed object storage within or across data centers depending on what specific availability metrics you need.
Reverse engineering code to design patterns is what I am interested in. And then say, have it express the code with different (relevant) patterns possibly.

Or take requirements and propose extensible design patterns. There aren't many design patterns per se but that task has a lot of value. Perhaps the most value.

Also an AI that can find similar concepts using different patterns where they should be consolidated. This could even be for something "as simple as" file access. So many bugs and issues due to one person not knowing how to access resource X.
Maybe you're missing some other context.

Here's an article about local-first software: https://www.inkandswitch.com/local-first/

Here's an article about why you might want this: https://medium.com/all-the-things/a-web-application-with-no-...

Here's another article about a previous attempt at solving this problem: https://herbcaudill.com/words/20240602-local-first-auth

and here's the associated readme for how that turned out: https://github.com/local-first-web/auth?tab=readme-ov-file#r...
OpenAI O1 System Card
OpenAI adds new o1 models
I don't think it does. That is, the quasicode algorithm looks something like this:

def fulfill_order(order):
range = 3 * miles
surge = 1
workers = workers_in_range(order.location, range)
while len(workers) == 0:
range *= 2
workers = workers_in_range(order.location, range)
surge += 1
if surge > 2:
initiate_surge_pricing(order.location, surge)

lowest_cost = min(w.cost for w in workers)
workers = random.shuffle([w for w in workers if w.cost == lowest_cost])
for w in workers:
if worker.propose_order(order):
return order.assign_worker(worker)

# if we're still here no worker has accepted the proposal
order.raise_bonus()
return defer_retry_order(order)

This does not read as incompetent pseudocode, to me! But it has the crucial problem.

Just to be clear about how the algorithm is lying, once you are near bonus and thus you're not in that lowest_cost bracket, you need an actual prediction of a place where demand is going to outstrip supply. The incentive system is reactive to actual demand and thus hopelessly noisy as a lagging prediction of demand, and it is being broadcast to try to manipulate driver behavior which means it also secretly forecasts a supply spike. So if we take it as 50% that the surge in demand is real and 50% that the added supply doesn't cover the added demand, then your actual number of surges you have to chase across the city is a geometric random variable with p=25%, and geometric random variables have the frustrating property of being memoryless like a good casino is: if you're exhausted after you've failed to make it after chasing 4 surges across the city, the expected number of surges you have to chase to get your bonus is, well, 4 more. And if you're at your wits' end after those 4 more, the expectation is, well, 4 more.
I was a kickstarter backer of the pokit who thought "oh that's cool", and it just sits in my drawer because I don't want to have to use an app to use basic functionality on my tools. I learned my lesson on that one and I know if I bought this soldering iron I would have the same issue. I'd rather use other soldering irons because I don't have to plug them into my computer to change the temperature between tasks.

FWIW this is just my $0.02. I'm sure you'll still sell lots, but if that had an onboard display + buttons then I'd have ordered one right away for the other nice tweaks you've done.
And what caused the 90% stock drop?
When you've got 80,000 engineers you end up with lots of different opinions on what the wire protocol should look like.

* Sometimes, you want to fail closed - errors are returned for all errors.

* Sometimes, you want to fail open - ok is returned for errors.

* Sometimes, you want to separate "failure" from "denied", the code "worked", but it didn't do what the client wanted - think "payment declined", so you return "OK", with the actual result in the response.

Compare the different costs to charge a credit card that is expired vs one that works.

* The expired one can be checked before calling out to the processor - cheap, returns "OK + Declined".

* The success ends up with a call to the processor and takes a second or two, returns "OK + Success".
A single document doesn’t contribute much to the loss during base training. LLMs can absolutely memorize text if it’s duplicated in the training set, not so much if the document in question is obscure.
There's a rather lovely Tom Stoppard play [0] that centers on the fact that James Joyce, Tristan Zara and Lenin all lived in Zurich in 1917. It's been a long time since I saw it, but I approximately recall a line were one of the characters tells [noted Dada-ist] Zara to sober up with the words "You want multicoloured micturition? Go to Moscow. They'll make you piss blood there!"

[0] https://en.wikipedia.org/wiki/Travesties
Learning to Reason with LLMs
They absolutely can present a significant risk when fed a normal dose of LSD. And I'm no prude when it comes to this stuff. Very standard advice for psychedelics is set & setting, and "don't be physically trapped in an environment you might find uncomfortable" is a reasonable derivation.
You don't even need drugs...

https://en.wikipedia.org/wiki/August_Kekul%C3%A9#Kekul%C3%A9...
While I agree with all of your points on determining value, it's never that simple, and is often determined, in someone's mind, by the comparison made.

The comparison here is a Pinecil. I've been using a Pinecil for a couple of years now, I power it from a USB-PD power bank that's already in my backpack, and charges everything else I carry, and has more capacity and a lower price than this one, and the Pinecil without the power bank is much cheaper and more functional with its buttons and display than this iron alone; I don't need a PC (and I don't use Chrome anyway, though I do really like the WebSerial configuration).

I already own a Hakko soldering station, but I find I reach for the Pinecil 99% of the time due to convenience; only when I know I'll be doing a _lot_ of soldering in one go, and I'm going to do it at my desk, do I get the Hakko out.

This looks like a nice iron, and I'm all for supporting repairability (and iFixit in general), if someone will use it as their main station, and assuming this can perform, it seems like an excellent option.

For everyone else, a Pinecil and that powerbank you already have is an excellent option at a trivially low price.

EDIT: Fixed some typos
Unicorns were supposed to be mythical creatures, which Phoenix is too - so that works.

But Phoenix has a negative connotation with the burning into flames part. Not sure if many startups would like to call them Phoenixes :)
FineVideo: Annotated YouTube Dataset by HuggingFace
The way you balance it is by allowing the application developer to opt in to unsafe features, which is exactly what this video and the referenced JEP is describing. The Foreign Function and Memory API is essentially unusable without an application-level opt-in, for example, which is good because FFI is inherently unsafe.
Not really. Someone panicking on acid would do different things than a sober person trying to knock the ISS out of orbit. Obviously.
I don’t mean to downplay the importance for you personally but I do want to clarify that while it might be a non-starter for you, all of arm64 is so new that it’s hardly a non-starter for anyone considering putting it into (traditional) production.
Of course, once you come to that realization, then you realize that it is all one in the same and that there isn't any magic going on, which then realizes that business constraints can go anywhere in your application and be written by anyone.

I suspect what you are really trying to say is that you trust Hipp more than you trust yourself to get the constraints right. Indeed, if you screw it up you're in for a world of hurt, so you are right to be cautious. But, if you have more trust in a random stranger who has no care for your data than you do yourself to implement it for you, perhaps you shouldn't be writing any code at all? Software development certainly isn't for everyone.