skysight-inc/HackerNews huggingface dataset:
I don’t really see how this is a bad thing. Either humans are needed for a task or are not. Ideally we’re needed for as little as possible, freeing us up to do what we want rather than what has to be done.

It reminds me of NIMBYism. We’ve been automating entire professions for over a century now… but not MY profession…
That depends on what you mean. SML has "polymorphism" boiling down to being able to plug an arbitrary type in some places, which is denoted like 'a. But when people talk about generics, they more often talk about C++ templates, Java generics, Rust traits, etc. whose SML equivalent are signatures, structs and functors. Signatures are a bit like Rust traits, structs are a bit like Rust implementations of traits, whereas functors are like Rust's "templates", i.e. wherever you swap angle brackets to parametrise something with types constrained by traits, or values constrained by types. Except in Rust this parametrisation can be slapped on a bunch of things. It can be on structs, on functions, on traits, on implementations of traits etc. In SML you need to group all the "parametrised" things into a struct (and a corresponding signature), which is going to be returned by a functor.

And now the thing is: with transparent signature ascriptions, functors are monomorphised in SML, instead of everything being hidden behind signatures (as is in the case of Rust with traits when you use dyn), which has semantic consequences. E.g. a struct returned by a functor may contain a type. You can't perform proper type-checking without monomorphising, because you don't know what the exact type is. E.g. in the following program, the final line couldn't be type-checked without monomorphisation:

signature ITERABLE = sig
type ElemT
type SrcT

val new_iter: SrcT -> unit -> ElemT option
end

signature LIST_ELEM_TYPE = sig
type T
end

functor ListIterFun (ListElemType: LIST_ELEM_TYPE): ITERABLE = struct
type ElemT = ListElemType.T
type SrcT = ElemT list

fun new_iter l = let val lr = ref l
in
fn () => case !lr of
nil => NONE
| (x::xs) => (lr := xs; SOME x)
end

end

structure IntElemType: LIST_ELEM_TYPE = struct
type T = int
end

structure IntListIter = ListIterFun(IntElemType)

val next = IntListIter.new_iter [1, 2, 3, 4, 5]

If I change the signature ascription on ListIterFun to an opaque ascription (:> ITERABLE), the final line won't type-check, because it's not obvious from the signature, that ElemT is int. So transparent signature ascriptions require monomorphisation (Rust traits without dyn), and opaque signature ascriptions free the compiler from having to do monomorphisation (Rust traits with dyn*).

There was a lot of discussion of this issue when Go was settling on a design for its generics, under the phrase "reified generics".
This seems to be arguing that the main problem with STM is performance? I don't think that's a particularly convincing argument in this day and age, when we had plenty of experience with concurrency-induced bugs on one hand, and that much more compute power on the other.

End-to-end ST could give all the same safety guarantees as e.g. Rust, but packaged in a mental model that is easier to teach and much, much easier to write code for. Even if it means, say, a 10x slowdown, I think that there are many use cases where this would be acceptable if it meant significant improvements in safety.

The problem is the end-to-end part. You don't just need STM - ideally, you need everything that the code can do to be transactional, including any other system that it interacts with in a way that causes a state change. This isn't feasible, so in practice you have to restrict STM to a subset of code which does not perform operations that cannot be rolled back. But with any existing platform, it ends up being such a small subset that it's not worth the bother; and even if you disregarded backwards compatibility and designed something from scratch specifically for end-to-end ST, it would still be limited wrt networking.
I wasn't speaking about dissemination by the model at all. It's possible for an AI to create an infringing work.

It's not possible for training an AI using data that was obtained legally to be copyright infringement. This is what I was talking about regarding transmission. Copyright provides a legal means for a rights holder to limit the creation of a copy of their image in order to be transmitted to me. If a rights holder has placed their image on the internet for me to view, then copyright does not provide them a means to restrict how I choose to consume that image.

The AI may or may not create outputs that can be considered derivative works, or contain characters protected by copyright.

You seem to be making an argument that we should be changing this somehow. I suppose I'll say "maybe". But it is apparent to me that many people don't know how intellectual property works.
I am following multiple bug reports from 2017...

5 years and still no fixes.

I agree that Safari updates tied to OS is bad, but it is even worse when there are no bugfixes in 5 years.
Isnt your thing with stolon already live?
You also wouldn't be forced into near guaranteed loss games to keep your W/L near 50/50. When one team was clearly overmatched compared to the other, the mods (you know, that other great reason to private servers) would turn on autobalance.
That church bell one is amazing. Very creative transition.
With respect, you need to pay more attention to how and why these networks are used. People write complex prompts containing things like "trending on artstation" or "<skilled artist's name>" then use unmodified AI output in places like blog articles, profile headers, etc where you normally would have put art made by an artist.

Yes, artists can also utilize AI as a photoshop filter, and some artists have started using it to fill in backgrounds in drawings, etc. Inpainting can also be used to do unimportant textures for 3d models. But that doesn't mean that AI art is no threat to artists' livelihoods, especially for scenarios like "I need a dozen illustrations to go with these articles" where quality isn't so important to the commissioner that they are willing to spend an extra few hundred bucks instead of spending 15 minutes in midjourney or stable diffusion.

As long as these networks continue being trained on artists' work without permission or compensation, they will continue to improve in output quality and muscle the actual artists out of work.
IDK, having visited Fiji, Samoa, Cook Islands and other similar places - I think you have no clue what you are talking about.
I was curious about "3-lisp". It seems to be this

http://www.cofault.com/2022/08/3-lisp-infinite-tower-of-meta...

Discussed three months ago

https://news.ycombinator.com/item?id=32614795
What does "not covered in media" mean to you?

While this topic doesn't dominate the news cycle, I've seen plenty of reporting on it.
Bobcat vs. Python - I get a bit skeezed out when "scientists" start assigning agency to animals like, "local fauna fighting back". I don't think the particular bobcat in this case, or bobcat's generally, are thinking beyond the fact that there's a package lunch sitting there. Seriously doubt they're rallying behind an anti-colonialist banner to oust the snakes, which btw, have been there far longer than any given bobcat has been alive.
Common Use Cases for Graph Databases
Smart Tractor by Monarch Tractor: Electric and 'Driver Optional'
Severance is definitely not common in startups. They'll usually burn the cash right up until the very last investor says 'no more' and then call it quits. They might have one more pay period (or two) in the bank.
I agree with your observation, but I don’t think religion is uniquely notable along those lines.

Ideology comes to mind as a pretty clean analog.

But looming in my mind is culture. Terminally, it seems indistinguishable from religion: it’s arbitrary, self-perpetuating, operates by getting deep psychological hooks into people and relies on (often blunt) communal enforcement.

And further, it seems “culture” has been elevated to the exalted, sacred status religion once commanded in society. In my view, this shift happened over the latter half of the 20th… cemented by 2010.
Covid spreading faster than ever in China. 800M could be infected this winter
Which is most certainly not the original intention of copyright, if we are to even give the concept credence. I'm of the opinion that the entire system of western copyright law is absolutely broken. You definitely can't infringe on copyright by dropping bricks on a piano, in the world with a flourishing creative arts scene, anyway. Something went terribly wrong.

PS: I also second the Adam Neely video. I was actually wondering if someone would link it (:
Lmao https://youtu.be/d-mYX0qKkB8
Here's a recently compiled list of good Clojure learning resources:

https://gist.github.com/ssrihari/0bf159afb781eef7cc552a1a0b1...

Edit: if by "learning Lisp" you mean lisps other than Clojure, I don't know :)
This sucks, I really don't know how to help. Visceral feeling out of nowhere sounds like a traumatic response.

The good thing is there are companies that don't use leetcode.
It's much more impressive than that:

> Upon completing her transition in 1968, Conway took a new name and identity, and restarted her career in what she called "stealth-mode". (From https://en.m.wikipedia.org/wiki/Lynn_Conway)

She managed to have groundbreaking impact in two disconnected careers after restarting from scratch!
I dunno who's writing this, but they write very well and about interesting things. Really enjoying keeping up with this blog!
It would appear there is some irony in this SoftTalker.
True, although coercion in Rust is quite limited (it doesn't even coerce smaller ints into larger ones), and the coercions that exist are pretty harmless IMO (like letting you call a function that accepts a `&foo` if all you have is a `&mut foo`). I suspect they're referring to something else, as I've never seen coercion highlighted as a pain point before.
Do we really need this?

I find all the examples harder to read and understand than combining classes/elements.
Too many business schools teach classes that claim that managers don't need to know the business that they're in. They just need to know the math. Then apply what comes out of "organizational psychology/sociology" courses to the remaining staff. And when a new CxO takes over, he brings in his cronies who puffed him up at the last place (aka "the new broom sweeps clean"). This is why software companies end up with mismanagers who don't know beans about programming.
And a key giveaway is that companies rarely pay severance to people who actually quit.
> humidity sensors/weather sensors/motion sensors

This was your problem. I've been using Z-Wave in my house since, I think, around 2010. I had major major issues with it at first exactly like what you describe. I "fixed" them by doing two things.

A) Banished all battery powered devices from the network. Seriously. I have one in a hall closest I haven't gotten around to getting rid of, yet. The network seems fine-ish with only that sensor but large volumes of battery powered mostly asleep devices, it falls over.

B) Abolished any notion of using my Z-Wave network for sensor reporting. No tracking humidity or weather or power with my Z-Wave network because, as you mention, the Z-Wave network completely falls over when you have volumes of sensor traffic on it.

Want to have one humidity sensor which reports hourly? Sure that's fine.

Want to have a humidity sensor in every room which reports every time there is a 1% change in humidity? lol no, your network will fall over.

My Z-Wave networks are quite large at this point, 200-300 devices, and consist of Jasco/GE switches, Jasco/GE fan controls, Jasco/GE smart outlets.

Removing sensor traffic and battery powered devices from my Z-Wave network has made it extremely reliable for me. Unscientifically I would say 99% of Z-Wave control commands execute in <1s.
>Throwing sheep is an idiom I'm unfamiliar with

He likely meant "throwing shade."
Doesn't the CEO (i.e. yourself) pay income tax on the $200K? What was the point of this again?
I'm having a hard time believing Trump is actually associated with this. From the FAQ at https://collecttrumpcards.com/ :

> Trump Digital Trading Cards are minted on the Polygon blockchain. The Polygon blockchain describes itself as eco-friendly and carbon neutral, which makes it better for the environment.

Trump would insist on whatever blockchain is the most carbon positive.
Yeah, it's nicer to know you're on severance going into Christmas so you can tighten the belt than find out you don't have a job coming out with bills coming due.
> Anyone that has worked with large databases can testify how slow queries can get. This is often due to the necessary indexes not being there, or something in the query that stops the database system from using the index. Choosing the right indexes to use, and the right order to fetch data in, proves to be the difference between a 10ms and 5s query.

This seems incredibly intuitive. Anyone reading it would get the impression that query speed is very important for database users and that they would be eager to investigate any new technology that promised a substantial improvement in query performance.

Yet, I have found the opposite. I created a new kind of database that shows incredible performance gains when compared with mainstream databases like SQLite (https://www.youtube.com/watch?v=Va5ZqfwQXWI) for simple and complex queries against tables of all sizes. It is able to do this without needing to create separate indexes on all the columns in the WHERE clause. The software is in open beta and available for free download at (https://www.Didgets.com) but it is like pulling teeth to get people to try it out.

If I post something like this on HN, I usually get lots of comments about how my claims are impossible (or at least improbable) but few are willing to actually test it themselves on their own machine with their own data set. I have several videos that demonstrate how quick and easy it is to load and analyze data, but interest has been minimal so far.

I feel like the inventor of a new kind of car engine that claims to get 2x the MPG while delivering the same horsepower, but can't get anyone to take the free test drive and prove me right (or wrong).
> Myself and the OP are more worried about the other path: a dystopia in which the majority of people are forced into something much worse than wage slavery by those in control of the thinking machines.

My fear is that nobody will remain in control of the thinking machines. Imagine an AI agent for hire which maintains its own cryptocurrency accounts and pays its own cloud hosting bills. That's the future I'm worried about.
I've been experimenting with a new podcast app Snipd, which purports to do this: https://www.snipd.com/

It doesn't yet have an Apple Watch app though, and since (I assume like you) I listen to podcasts while out on a run w/o my phone, that would be the killer feature I'd drop everything for.
Show HN: JAMA4JS – Linear Algebra for JavaScript
Released a translation from Java to JS of the NIST created JAMA linear algebra library (with verification tests and example)

Last updated in 2012, the original implementation (Java) can be found at: https://math.nist.gov/javanumerics/jama/

The (JS) translation can be found at: https://github.com/conceptualGabrielPutnam/JAMA4JS

The translation passes all verification tests and can perform:
Cholesky, LU, QR, SVD, symmetric/non-symmetric decomposition as well as being used for solving least squares and nonsingular systems.

Thanks to: Ronald F. Boisvert, Bruce Miller, Roldan Pozo, Karin Remington, Joe Hicklin, Cleve Moler, and Peter Webb for creating the original implementation.
The actual title seems to be Lichess & Scala 3 and the subhead is "Lichess gets a big upgrade. It doesn't go as planned."
> democrats are only for it just enough to foil the republicans

Absolutely not. Modern Democrats are neoliberals to the extreme. Neoliberals are very pro-immigration.
What if they are stolen from you
Show HN: Snowflakes and spaceships.. virtual backgrounds for Linux webcams
It's for anyone on Linux that wants to use virtual background effects. It works by creating a virtual device that you can then use in teams, zoom, etc. :)
The github has a link to a YouTube video where you can see a demo with SBF. Unfortunately he won't be able to reply to any comments right now.
Write a domain specific language in Python
More fuel efficient and noise minimization.
Speed vs. Maintainability as a Software Engineer
>(neo)vim (via coc.nvim)

I think vim-lsp and Neovim's native LSP both have it too
If it's so important, we could at least pay the people who create the training set. Otherwise, we're relying on unpaid labor for this important progress and if the unpaid labor disappears, we're screwed. How does it seem sensible to construct a business this way?
Watch IIHS BEV Crash Test a 9,500 Pound Truck into a Barrier
TikTok reminds me of that woody allen movie (not a fan after hearing about him for the record) where they try to rob a bank by renting a store next door and tunneling to the vault. Except as a cover, they open up a bakery and eventually people liked their baking so much they became millionaires and didn't need to rob the bank anymore. A cop even catches them when they tunnel to the wrong place but he let them go for equity in the baking business.

Tiktok just wanted your data for the CCP but they found out the true treasure is the friends and insane market domination they made along the way.
> I am vaccinated but I am upvoting this post because I believe that it is important to investigate these cases to determine how to improve future vaccines.

The fact that people feel the need to say that for any criticism of an intervention says that we have long left the realm of science and entered the realm of religion.

Every intervention has benefits and harms.

Not talking about harms makes it impossible to assess the cost-benefit tradeoffs of the intervention.
I recently developed a tox plug-in, tox-pin-deps [1], that integrates the pip-compile workflow with dependencies specified in tox.ini (per environment). This was in response to both poetry and Pipenv being non-standard and consistent stumbling blocks for ramping up new devs on the team.

Despite the shiny, I seem to always find my way back to standard tools and text files.

[1]: https://github.com/masenf/tox-pin-deps
Perhaps it is different now, but I've always hated how to figure out how much memory a java app needs. You can certainly give it 30GB of ram and it will happily use it all up and then start making garbage collection calls. But does it really need all that ram? I think the best practice of the time was to continually lower your max heap amounts until you started getting allocation errors, then bump your number up by 20%-50% (or something like that).
With the ejection happening after the aircraft gets back to a flat plane, I get the feeling the decision to eject was the plane’s and not the pilot’s.
Individual humans copying corporate products vs corporations copying the work of individual humans they didn't pay.

The confusion is that “copyright infringement is not theft” really was about being against corporate abuse of individuals. It's still the same situation here.
Before I found poetry I worked at a place that had python projects that were too complicated for pip to download dependencies for. I had developed a tool that, for our projects, could build a set of wheels to deploy a project. I had thought about what a general solution would look like but before implementing anything I found poetry.

Poetry struck me as one of those 80% solutions that might get in the way of a 100% solution. I used it for a number of little projects and felt it was good enough but my analysis was that its dependency resolution strategy was pretty slow and that I didn't believe it was 100% correct.

For my own Python projects I've been really slumming it lately. I make venv's with pycharm and let pycharm manage my dependencies. I also have written a number of "single file Python" programs that I use on my Linux server to do things like burn DTS CD-Rs with complete CD-Text information. For those ones I just stick to the standard library. One of these days I'm going to have to deploy a real python project to a server and I'll have to think of something then.

I convinced myself that the right way to resolve dependencies in Python is to do the same thing maven does and form a graph of the dependencies of all the software versions that could possibly satisfy the constraints.

For wheel files it is practical to do because you can download the metadata in 2 or 3 http range requests out of a wheel. eggs are a problem because you are expected to download and run the python scripts inside the egg before you know anything about the egg. fortunately (1) wheels have mostly replaced eggs and (2) you can build wheels as to the needs of your organization in a private "wheelhouse" used for builds in your organization.

Since it takes a long time to fetch that information it really does have to have a local cache like maven and maybe even a metadata database. It would be nice to see python build cleaned up.
Step 1: BUILD IT!

Ideas are addicting; the longer you have them the more you idolize them and become over time immune to the idea's criticism.

The general principle in startups is that you know remarkably little about what actually is valued in the market until you do some very specific validation research, which involves putting some kind of real, meaningful solution to a person's pain in front of them to see how they react.
Modern C++ is just fine. It is a more flexible language than Java and the rising demand of embedded software for advanced microcontrollers allows complex C++ instead of no-malloc-for-safety-reasons - style C. So I find the current trend not too surprising.
Also I dont know many languages that offer that much versatility. Only Rust maybe…when the ecosystem matures…
I think in both domains there are parts which are purely technical (wrong or right) and others which are well ... an art.

In art these parts are often overlooked, but they are significant none the less. E.g. getting the proportions right is an objective metric and really off putting if it is wrong.

And in programming the "art" parts are often overlooked and precisely the reason why I feel that most software of today is horrible. It is just made to barely "work" and get the technical parts right up to spec and that's it. Beyond that nobody cares about resource efficiency, performance, security, maintainability or yet alone elegance.
If vaccination prevents you from catching covid, then it has prevented you from spreading covid to those you would have otherwise.

If vaccination causes you to experience an early immune response, versus several asymptomatic days while unknowingly contagious, then it has prevented you from spreading covid to some of those you would have otherwise.

If vaccination results in a less severe infection with lower viral load, then it has prevented you from spreading covid to some of those you would have otherwise.

My reply was intentionally simple in order to drive home a point about selfish versus societal viewpoints.
Solar panels still have some dimensions along which they could improve, for example:

* efficiency in low-light situations

* efficiency when parts of the panel are covered

* cost

I guess the inverters could also be improved...
So does the person who finds the phone inherits the identity? Can we have influencers selling off their circles? When I get robbed is my mugger now friends with my grandma?
Plug this into a video game and you could have GTA 6 where the NPCs have full dialogue with the appearance of sentience, concerts where imaginary bands play their imaginary catalogue live to you and all kinds of other dynamically generated content.