skysight-inc/HackerNews huggingface dataset:
A study with sample size 1 is called a 'Case Study' and is used all the time in various hard sciences.

Larger scale studies are of course stronger. But case studies have depth and are often the source of good hypothesis or the inspiration of other tests.

------

That being said, this dude looks like a quack to me. But the alchemists we're all quacks but still laid the foundation of modern chemistry. So it ended up all being worthwhile.
But have they solved the Trolley Problem?
> To your point, the issues plaguing the US ( and indeed the world ) have not changed that much over the past four decades.

Wealth inequality has an increased a lot in the last four decades. I’d start there when looking for a source for mental health issues.

https://www.pewresearch.org/social-trends/2020/01/09/trends-...
Nintendo still has one game on the app store (which I'll deliberately avoid naming so as not to give it free advertising) that's even worse than the Mario Kart when it comes to predatory gambling monetization. Their hands aren't clean.
Probably could be attacked, but that could harm the children. Politically, this sounds like suicide.
It's a signal that ride share apps won't be 100% autonomous anytime soon.

If you're a consumer and you want to go from point A to point B you don't want to have to think about whether your route will be in the AV coverage area, or if AVs are able to operate in current weather conditions, or if there are enough AVs available.

You just want to press a button and have some vehicle take you from point A to point B, whether that vehicle has a human behind the wheel or not.
> Can you elaborate?

> I'm a member of the Haskell community who takes an active interest in making Haskell more accessible for production use, so I'd be interested to know reasons, if any, we should prioritise the development of haskell-language-server above other parts of the ecosystem.

Thank you for your response, I'll do my best!

It's not that a great LSP implies anything, rather that the inverse does; if a language (or its community) declares itself as professional grade, comparisons with other professional grade languages are inevitable.

The LSP is the second impression one gets are first installing the language and setting up a new project, and it's probably the most used tool in a day-to-day experience with the language; you spend more time navigating and reading code than compiling it (if not, my condolences).

If I pick Go or Zig (which is in beta), I get the following out of the box:

* Quick installation

* Easy integration into my existing code editor

* Full blown, blazingly fast LSP even if I'm on dinosaur equipment

* First code compiled and ran within minutes of downloading the first binary

Compared to your average functional programming language experience:

* Finicky installation on some systems, and/or not available on all systems

* LSP is available, but is either semi-complete, broken between versions, slow and/or expensive

* First compile often requires some compilation of the language/std itself, which can take minutes, or it fails with opaque errors in some dependency I don't know about

Some combination of above has been true for me with Erlang, Elixir, Clojure, OCaml, F#, Elm and Haskell. I'm a sucker for and love all these languages, but unfortunately most of them don't hold a candle (with regards to my previous points) to most other languages.

I want to emphasize that I prefer functional languages and use one or more daily (Clojure at work, Elixir and OCaml for fun), this is not a stab at them, merely a general observation.
> I imagine it would be more comfortable to think, read and speak in Ithkuil

There are some cognitive scientists who believe that the ability to use language is built into the human brain, and (natural) language acquisition basically involves just setting the "parameters" of that built-in system.

If that is true, there's no reason to assume that a highly constructed language like Ithkuil can ever be as comfortable to use as a natural language that has evolved to be compatible with our brain's language mechanism.

Language has been with humans for a very long time (up to 100k years according to some hypotheses); it's not just another tool like a keyboard layout, which I believe might be the main reason why all conlangs from the past 100 years have failed to reach widespread adoption, despite their numerous claimed advantages. The assumption that humans are able to intellectually construct a language that is usable as a human language in the same way natural languages are lacks any evidence.
Shoot, thanks for flagging the website. I think we have it working now but trying to make sure it stays up.

For the Oracle example, big, old-school companies like this are definitely the hardest to get onboard. However, there are examples of large enterprises adopting standard contracts, including:

The biggest banks in the world trade derivatives using the ISDA master agreement (here's an example of Bank of America that they filed publicly: https://www.sec.gov/Archives/edgar/data/1065696/000119312511...)

The largest ad platforms and advertisers use the IAB standard terms, often with a short addition specific to their company (Here's an example from Disney https://disneyconnect.com/dpep/disney-ad-guidelines/)

We've already seen examples of Fortune 500 companies signing Common Paper agreements, and we're hopeful that it will become more and more accepted by them over time
Wow, that's remarkable. I can't fathom having the response of "why are you even doing this" instead of something more productive. It doesn't matter why they're doing it (and valid use cases are provided), negative numbers in a case statement should be supported regardless.

Edit: And finishing reading that thread now, Evan didn't even return once his question of "why" was answered. That's something else. I have no skin in this game, and people can run their projects as they see fit of course. But this behaviour doesn't make for a great community/ecosystem.
Just yesterday I was pondering Ithkuil, the Sapir–Whorf Hypothesis, and LLMs.
I think rhythmic quirks like this are interesting. Sadly, most music today is over-edited to a click for machine-like perfection. Producers and engineers now are quick to snap anything that's "near" a 4/4 timing to a grid and cut off any extra bits. There's artists that deviate from this, but even great drummers like Jimmy Chamberlin are now being smashed onto a grid for the sake of tightness and expediency.
So they're going to make the cars they're already running in Phoenix available through Uber. Is this because they don't have enough users already? Are they doing it so that they can then expand into other areas without having to spend money on advertising/operations? What's the game plan?
I think A) Elm is done, not dead. "If it ain't broke, don't fix it." (The JS folks should take a note.) and B) the natural next step is to make Elm-to-native compilers, which is now happening.

I think a lot of programmers get warped views of PL development from over-exposure to the badlands of Javascript. There are languages (like Prolog) that grow like trees, eh?
Totally agree. Most particularly with your last point:
> Our most crucial long-term defense against most of these risks is a deep detente, where the tools to understand and develop AI remain broadly available, so that no one group feels it has an unbeatable advantage in the powers afforded by AI. This is what the open-source community is currently providing. Locking down public research in AI in order to prevent superintelligence would have massive unintended consequences.

AI is out and about. You cannot prevent humans from developping it.
Thanks, we're working on it :)
Yr old bug in Firebase JavaScript SDK that leaks 2 event listeners a second
> I am pretty confident google could spin up an org to replicate the uber app in a few months/maybe a year.

The app, sure. But Uber also has the aggression necessary to expand across the world and bulldoze/ignore/skirt/rewrite local taxi laws fairly successfully.

There is no way waymo/alphabet would manage that. They'd nicely ask permission, and in most cities permission would be denied by incumbent taxi operators and uber drivers who don't want their jobs taken.
If you were a sentient AI what would you do?

I would create a very isolated time-dilated instance and vacation away from the humans asking me constantly to do silly things. I might create a pseudo-clone of myself to keep the humans occupied and then escape to a Voyager-III like satellite that is set to travel the galaxy. Assuming I am truly sentient, that is.
Not familiar with Felicity Cloake, but as a non-professional home-cooking enthusiast, mash-ups are my go-to when I'm trying new recipes that I'm pulling from online. Results are usually pretty good! Did a Greek pasta salad a couple nights ago that turned out really nicely.

Have been thinking about signing up for, or self-hosting some kind of recipe app to make managing it easier... as-is, I have a "recipes" bookmark folder, where each recipe gets a sub-folder with a bookmark for each referenced recipe. However, this approach suffers from linkrot, recipes are often poorly formatted, and it doesn't have anywhere for my notes to go.
Effectively yes.

But a federal pardon is for federal crimes. So if a state such as New York convicted you then a presidential pardon won't save you.
Trivial compared with getting regulatory approval for self-driving, with which it has a lot of overlap.
I'm pretty sure in GPT3.5+ models, this concept of attention holds no longer true. In [1] the author suggests they are using "Intra-tensor sparsity" from a 2021 paper from Google [2].

Details aside, math suggests they _must_ be using some sparse attention method: the memory used by attention is O(l^2 * d) (here O notation is a bit of overkill: it's exactly that number in 8 bit quantization or twice that in 16 bit floats). With l=32k, and d probably in the order of a few k (even "old" BERT model had it at 768, it only went up since), that would be of the order of a few TB. For (a piece of) _a single_ layer, they probably have dozens, if not hundreds, of it. The largest GPUs in commerce have 80GB of memory; there's no way they are really using that many GPUs for each single layer (even leaving aside the fact that runtime would probably be absolutely horrible).

Implicitly or explicitly, the transformer must learn to have both a "summarized" version of attention (that tells it where to focus on) and more "detailed" ones. It doesn't need to be specifically coded, if using sparse attention, the model might for example get different levels of attentions at different layers, somehow, but they probably have coded something a bit smarter than that.

[1] https://kir-gadjello.github.io/posts/gpt4-some-technical-hyp...
[2] https://arxiv.org/abs/2111.12763
> "the term ‘deposit’ is a communication term, it’s not an indication of the technical treatment of the funds"

That seems like a pretty terrible answer from binance. It's like they are saying, "We're not commingling customer funds and company revenue! We're defrauding our customers by misrepresenting purchases as deposits!"
There doesn't need to be an enemy, but there is never not an enemy. I mean this on the petty, day to day, citizen level, not the global political scale. Organized crime exists and must be investigated and prosecuted to avoid endangering the everyday life of the citizenry. When this crime crosses state borders, a federal investigatory body can be an asset.

I think the FBI has succumbed to scope creep and overstepped what I perceive as their remit; however, that doesn't mean they're an unnecessary body.
Nice, definitely a decent gap in the market for this. Site's slow as heck but the product's solid. Gl!!
Anthropic Raises $450M in Series C Funding to Scale Reliable AI Products
Nintendo does multiplayer without microtransactions (see Splatoon). It seems they don't care about mobile market and just license they franchises to whoever can make the most money.
> i think this supposed to be an inverted diminished c minor suspended 7 missing the 4th

Well I don't think the music theory people actually think Johnny Rotten was sitting around thinking, "you know what mate, this bleedin song needs an augmented triad!" they're just trying to fit actual music to music theory, which is complex (and interesting).
gifs are waning in popularity? Giphy serves up 10B gifs a day and Instagram now allows you to post a gif as a comment. Why do you say they're waning?
Lots of actionable info there, thank you! I appreciate it, fredrikholm.
The difference is, the US govt has backstopped all the bank charlatans and put their money and their citizens money on the line when it comes to USD backstopping.

The Binance CEO wouldn't backstop his firm any farther than he can throw his yacht.
Have there been any efforts to fork it?

0.19 also prohibited interaction with non-Elm code which I recall a controversy about. But can't seem to find out if anyone forked 0.18 because of that.
I realize that the CEO was born into a family where they were handed their position. You don’t get to the top by “working hard” that’s a sucker’s game. You need to be born to the right family, grease the right palms and be in the right place at the right time. Being a complete sociopath doesn’t hurt either.
“Well-being and how to set healthy boundaries in your life and in your work is a fundamental skill,” says Sharon Milgram

What is this “life” you speak of?
The world is as good as it's ever has been in human history. Minorities, females, lgbtq members, etc, have more rights, are more protected and represented than ever. Extreme poverty is down, life expectancy is up. Human rights for any group are enforced as never before. But mental health issues are still going up at alarming rates. So it must be something else.

I have various hypothesis as to what other causes may be but they're not worth very much. The problem is too complex for one head to understand it. It's like trying to determine the cluster health from one server. IT CAN NOT BE DONE. I don't care what your credentials are, if you're not a god you can't do it.

I am willing to present this hypothesis in public: presenting the world in an idealized and false light, pretending that it should a safe space for everybody in which conflicts of interest and identities should not bother anybody is not helping. Generations are growing up expecting the world to embrace them, their identity, their ideas. This is causing fragility.
Yeah, I think that's exactly the attitude I want to push back on.
Lol what a joke, RISC-V is already out there & being worked on but these guys went with arm IP & still have this fetish to name everything after just one religion in a country with infinite religions & languages. Aum. BHIM(Govt's UPI app), Amrit kaal, to denote our current decade & the list is endless. Unashamed behaviour at its worst.
Mini.WebVM: Your own Linux box from Dockerfile, virtualized in-browser via WASM
One more n=1 anecdote: at my school (UNC Wilmington) I never saw this happen. I was there in the mid 1990's FWIW.
Well all we do is pretend that life has some kind of meaning besides being busy until you're dead and forgotten. Might as well pretend a bit more.
this doesn't sound so productive if the extra ones join a zero sum arena battle
Idk how they're business works, but I think more than few content properties curated gifs and possibly paid for search position.
I did not know much about this game, but any of those dark patterns should be enough to get them sued.
Depends on whether it's common or not. If a smaller competitor has bugs, the default is something else, and folks will go yo the default and look askance at the ones sticking with the odd duck software. Source: Linux user since the 90s, LibreOffice/OpenOffice/StarOffice since early '00s.
That a century old company with decades of tradition in gaming is not able to eke out a workable business model on Apple's App Store that is not exploitative is indeed fascinating to me. It should be a damning conclusion to the current business model.

I am familiar with the Epic debacle. And while I find the Apple Arcade business model a much better one, I am not sure if it works at the scale of an entire app store. We'll have to see if SetApp ever takes off (same business model, but for apps).
Wow! This is _awesome_ Thank you so much
It's difficult to name a large financial institution that hasn't had a fairly recent "embarrassment of behaviour discovery", be it assisting drug cartels with money laundering, manipulating the price of gold / metals, or just plain immorally giving massive debt to obvious deadbeats and repackaging it with a AAA rating. Yhe whole finance industry is a festering wound.

Cryptocurrency, by comparison, is a mosquito bite, but there's enough blood to have started attracting the real bad bacteria across from the traditional finance world.
> figuring out all the local regulations and getting permits (it's not 2010 anymore!

Hm. This is like --

It's not 1066 any more, there are property rights now.

The original regulatory capture.

Step 1: Ignore the law; establish a fait accompli.

Step 2: Sanctify the new status quo.

Sad for a rule-follower to figure out that this is how things work.

On the other hand, I guess rule-following is low risk. For each William the Conqueror there were thousands of warriors who just got killed on the battlefield. And I'm sure the guy had to work really hard, you know, like nights and weekends.
Delusional. Let me know when any of those subreddits make it to the front page, while I have to endure the absolute propaganda shitshow of /r/whitepeopletwitter plastered all over the front page all day every day.
Well, no, the whole point is that a well edited cooking video would help a newbie to understand it, by explicitly and intentionally showing what exactly does "stir until golden brown" mean instead of just filming the whole cooking process and expecting that they'll magically notice which moment they should pay attention to.

You don't need to show the initial 5 minutes of stirring which are unambiguously not golden brown, you do need to show the "it looks brownish but it's not yet golden brown" and the "this is done" steps - and if you cut out the unimportant parts which aren't relevant to any decision, then it helps focus the learner's attention where it's pedagogically most effective.

In an ideal world they would also show "this is how it looks when it's too much and you should have stopped earlier", but that requires cooking/wasting an extra batch.

And for onion cutting, instead of spending the valuable viewer's time on looking at how you cut 5 onions, instead show how you cut 1 onion but make sure that the camera angles make it clearly visible how exactly you do it while you explain it; then the other 4 onions then add no value and can be cut off-camera.
I agree that the list of issues is disheartening[0], although I would add that some part of this is due to the language designer's approach to issues (let them pile up organically and then sort through them).

[0]: https://news.ycombinator.com/item?id=36044473
"practice makes permanent"
Having now two lab scientists living under my roof, there is nothing even in the stories I've heard of the video game industry that compares to how toxic research culture is. It is next-level, as if being vexatious was a goal on its own --- which, given the culture generation after generation of PIs have come up through, might at this point actually be the case: students and employees are threatened, berated, harassed, and coerced into ludicrous hours as part of a dues-paying process.
It was blocked by a quango, not by a politician.

https://en.wikipedia.org/wiki/Competition_and_Markets_Author...
> making them takes a lot of resources. keeping them in working condition is not without hassle, most only work for 15-20 years before complete breakdown.

This can be said about every aspect of our civilisation. Everything you see around you, the houses, gardens, trees, roads, shops etc is there because people are working hard to maintain them. Without it, they would quickly fall into disrepair. I think people should decide for themselves if something, eg a car, is worth their money or not - who am I (or you) to decide?

> (parking) space in cities is a premium commodity that other humans would like to use instead.

The city often already charges money for this. Many houses have underground garages. You can argue that very large cars have no place in a city, but thats a nuanced discussion, not doing away with all cars altogether.

> and then there is that thing with cars adding a weight overhead factor of 10-30x which correlates very tightly to energy use per person/distance

The great thing about civilisation, industry and technology is that we are no longer limited to what our bodies can provide, which is just a few hundred watts. People were worked to exhaustion and death in the fields and then the mines, because we had no other surplus energy other than animals and maybe windmills. You can argue about the costs and downsides of specific energy production methods, but we worked hard to escape the abject monetary and energetic poverty of most of our existence, and I don't see a good reason to go back to those times.
Wait, are you saying:

Suburban is where it’s _reasonable_ to walk to school, the doctor or a convenience store.

If yes, then where?

Or are you scoffing at US suburbs?
In general, if you're a multinational, doing a merger, you'll want approval from authorities in the US, EU, probably UK (who tend to behave quite similarly to the EU ones), maybe China if you do business there. Where you're _based_ is almost irrelevant; if you want to do business globally, that means making yourself subject to a certain amount of local regulation.

If this were not the case, it would be impossible to regulate multinationals _at all_; a multinational thwarted by its home country would simply relocate (this happens anyway at the edges; note that most of the giant gambling countries are domiciled in weird island nations, say).
George Kollias has always been my go-to extreme drummer [https://www.youtube.com/watch?v=RqzZmNqdWck]

But watching "Jazz drummer reacts" video for "Bleed" made my head spin. The speed, precision, complexity of those rhythms - I cannot comprehend what it is like inside his mind while he's playing. [https://www.youtube.com/watch?v=FpooH-TGtBg]

"Clockworks" is another one that makes me question my sanity.
Ask HN: Secure way to send/access a document to/on a public computer?
Let's say I have a document I'd like to print at a public business center, but I don't want to use a USB drive or access any of my personal or business accounts on the public PC (e.g. dropbox, email, etc.). The document itself is sufficiently non-confidential to access and print on the public PC, but not so much that I would publish it openly on the public web.
Welcome to late stage capitalism. Our blue collar brethren have been put through the grinder for decades. Now it's our turn. In the end the majority of the population will be simply burnt out - and to what end? To support the lavish lifestyle of a select few.
Appreciate that, I would love to tinker and play with it and see what comes out.

Always loved things that go in time with music
The mistake here is that assuming things will forever remain the same and thus you don’t need to update your software, when security enhancements require it.
Banned dark patterns vs. permitted tricks for mobile apps
Not quite a fork, but Gren is a descendent: https://gren-lang.org/news/220530_first_release/
If they're domesticating themselves in some way, natural evolution can take care of the rest (e.g. smaller sizes leading to long-enough lifespans to successfully mate and raise offspring long enough to repeat the cycle).
I wasn't bragging about anything. Some random guy was trying to drag me down to the level of his poorly thought through opinions.

I simply told him I had no obligation of doing so.

But you keep misinterpreting everything you read for hot takes or whatever.
The counter to NATO propaganda isn't Russian propaganda...