skysight-inc/HackerNews huggingface dataset:
> The argument I'm trying to make is that an article serving as an explainer of a complex legal topic should be factually correct

It’s weird that you’re pointing out an irrelevant technical detail which misses the point of the opinion piece. The point is that SBF was able to walk out of jail without paying anything and the author finds this absurd.
This must be a mistake in the demo. Because all other UI elements behave exactly as you expect them.
ElonJet is back on Twitter, but with a 24-hour delay
My own, feedcircuit.kibardin.name
Not just that, but there can be lots of unintended consequences. I think mistakes are okay, but handwaving this away as simple does more harm. It gives us a false sense of security when the "be ethical" advice really means that we need to constantly be asking ourselves various questions.
I believe that the two party system reflects, rather than creates, the division. If so, I don't think ranked choice really helps.

In the end, the fundamental division is the vote. There is one winner, and everybody else loses. I don't know any voting system that gets around that core issue.

If you want things done your way, you need to get 51% of the people to agree with you. That means making allies and trading votes. You can push around exactly what mechanism you use to make the allies and enforce your commitments to each other, but in the end there's a vote. Somebody wins; everyone else loses.

That is, I believe, the real source of the division. Some people want something (same-sex marriages, access to handguns, abortions) and other people very much want them not to have it. It would be great if we could compromise on that, but votes are the opposite of compromise, no matter how you arrange it. Votes are fundamentally divisive.
People held without bond are in that situation for (presumably) extraordinary circumstances. Long history of violent behavior, huge flight risk.

This is a punk (he is a prick) who wouldn't know how to wield a butter knife. He agreed not to have an extradition hearing in the Bahamas. He's hardly a danger to others or a flight risk.
For years now, the “Explore Spanish language titles on Audible Latino” button on the main iOS screen doesn’t even do anything.
"It is difficult to get a man to understand something, when his salary depends on his not understanding it." ― Upton Sinclair
The US is becoming increasingly protectionist and Tesla is their crown jewel. They'll give Musk a blank check at this point because they're terrified of Chinese auto industry.
How Bloomberg Terminal UX designers conceal complexity
In addition his involvement with chemical weapons took a huge toll on his wife Clara to whom he wasn’t the nicest to begin with
> Given that The Hobbit was not actually intended to be connected directly to his Middle-earth works except retroactively

In the first version of the book I read, there was an offhand mention that a Took ancestor had married a "Fairy" (or Fae). It was never discussed in the book again and I found that later versions had it charged to "Elf".

I always supposed that this was another bit left over from the time where the Hobbit was its own universe - at least I never heard any mention of Fairies living in Middle-Earth.

Edit: Of course maybe a wiser choice might have been to leave it in - and present it as a sign that there are still a lot of unexplored corners in Middle-Earth and even after reading all the books, we don't know all about it.

I think the modern pressure to have a "canon" which explains absolutely everything that goes on in the world can lead to sterile and unbelievable worlds as well if a worldbuilder gives in too much.
We have subtitles on all the time for my little boy and can attest that the BBC is very poor - even on iPlayer.

Interesting side note: if ever subtitles are turned off, or we are watching TV elsewhere, me and my wife can't 'hear' well. Even if the volume is up. Like we've untrained our ability...
If you run a security linter like ‘bandit’ you’ll get warnings for eval and other security holes.

It seems you can’t run bandit on deps, but perhaps if you fork them and build yourself?

If you are security conscious, having a rule that you can only install from a local pypi with packages you have forked would be a more defensible perimeter. But, a maintenance pain for sure.
I've heard that the first rev of the boards have some signal integrity issues that should be fixed in later revs.
I wonder if this was planned to use the PowerVR ray tracing solution. I believe Apple and Imagination Tech quietly buried the hatchet some time ago.

I also wonder how this will work for the Metal API. Metal currently does have support for accelerating ray tracing via acceleration structures and a few other things that require GPU hardware features not present on older GPUs that are not specific to ray tracing only. It doesn’t not have support for ray tracing specific hardware acceleration like in NVIDIA’s RTX and AMD’s RDNA2 chips. This means you can buy a 6000 series AMD GPU, stick it in an Intel Mac Pro, and not actually be able to use the RT acceleration hardware!
I host yarr in my home K8s with GitHub oauth for security. Then I just access via browser.

https://github.com/nkanaev/yarr
They can stack vertically such that they take up less space than a commercial kitchen, which cannot stack vertically (at least not on the scale of multiple separate operations in one vertical meter) and requires space for humans to move around. An onion prepping machine might be 30cm x 30cm x 100cm. You could fit 11 mechanisms of that size in one cubic meter.

My view on cleaning is that the systems must be automatically self cleaning. Otherwise yes cleaning would be a pain.
Thank you for going into detail.

I appreciate the insight.
I was a grad student in AI at the time this book came out so I can tell you a little bit about the historical context from my personal perspective with benefit of hindsight. The field at the time was dominated by two schools of thought, called the "neats" and the "scruffies". At the risk of significant oversimplification, the neats thought that the right way to do AI was using formal logic while the scruffies took an empirical approach: noodle around with code and see what works. Both approaches led to interesting results. The neat legacy is modern-day theorem provers while the scruffy legacy is chatbots, self-driving cars, and neural nets.

SoM didn't fit neatly (no pun intended) into either camp. It wasn't empirical and it wasn't formal. It was just a collection of random loosely-associated ideas and nothing ever came of it. It was too informal to lead to interesting theoretical results, and it was too vague to be implemented and so no one could test it experimentally. And both of those things are still true today. I think it's fair to say that if the author had been anyone but Minsky no one would have paid any attention to it at all.
If anything, I think Lyft/Uber has gotten us stuck in a local minimum. Yes, the user experience for requesting a ride is still a huge improvement over traditional taxi dispatching. I agree that if we were to rewind history, we would get to the same place because ride sharing apps do provide a benefit over traditional taxis in that regard. But from a consumer perspective, surge pricing is a regression from the predictability of metered fares. Consumers would prefer a system that blends both, but Uber and Lyft have zero incentive to standardized pricing until someone else can compete with them from a ride hailing ergonomics perspective and undercut their prices, and the way yellow cab companies are strucured makes it difficult for them to organize around a common app for hailing rides.
The Kekulé Problem by Cormac McCarthy (2017)[video]
In this essay, novelist Cormac McCarthy writes about the relationship between the unconscious and language.
2022 in Review
Requiring anything from open source authors is a losing proposition. Items of interest just won't end up on pypi. Iirc this chain of events already happened on another distribution platform.
Eh, not sure about that. Microsoft has made a profound mess out of Windows and Office, in ways that are hard to imagine anyone asking for.
Exactly! Never go full Linus. Not even Linus does that anymore. Even gentle mockery about breaking the pipeline gets overreacted to, and that is annoying. I try to say the idea won't work rather than it is dumb, but I may try it the other way with one of my mentees, I think they might respond better.
This is incorrect on multiple levels: there is no organization that has "exclusive" control over Go, much less Rust. There's a company (Google) that made Go, but they have no control over the source code itself beyond the terms of the non-proprietary license they provide it under[1]. Even the things that Google does w/r/t Go are not even remotely controversial in the context of the definition of proprietary software, like CLAs. Linux has a CLA!

Comparing this to Borland or Microsoft is bizarre: Microsoft and Borland actually do have proprietary C compilers that they do not make publicly available in source code form. Those compilers in turn have all kinds of non-standard, proprietary extensions.

The one thing that sets C apart from Rust and Go is the presence of an official ISO standard. But this isn't material to the definition of "proprietary" in the open source world. And, well, that ISO standard is itself copyrighted.

[1]: https://github.com/golang/go/blob/master/LICENSE

Edit: You shouldn't delete and re-write your comments. Here's the original comment I responded to:

> That's a dubious claim, and irrelevant besides. They are proprietary, in the standard meaning of the word, because a single private organization has exclusive control over each, but whatever word you choose to describe that is up to you.

> Google owns Go in a way that has never been true of Microsoft (or Borland or GNU or Apple...) when it comes to C.

Edit 2: For the edited comment: you're setting up a distinction that does not matter for programming languages that do not have formal specifications. There is no "interface" to distinguish against, and the claim that Rust (or Go, or Python, or any other language without an ISO spec) is tacitly reserving all rights to the design of the language itself is completely unsubstantiated.
If you really want to get serious with WLED, check out the new Quinled-Dig-Octa boards. Super affordable and hands down the easiest way to get thousands of lights setup. 50-100A of LEDs, no problem! You’ll spend more on the power supply than you will on Quindor’s top notch boards.

https://quinled.info

(Not affiliated in any way except being a very happy customer)
Sure, because you don't know if the 900 people are silent because they're happy or lazy. A 10% complaint rate feels quite high for a typical feature and would tell me that I probably got something wrong.
Solar charged car sets record 621 miles in 12 hours
RSS Feeds from Mastodon Accounts
>Why exactly is the government not seizing every asset he owns

I find it utterly strange that people respond to injustice by asking why isn't more injustice being done, you know for equity?
> He is after truth/facts in public discourse without undue political influence from any political camp

This is what he said he wants, but is not consistent with his actions which is why is he being called out about it or 'vilified'.

He also said he wanted to build a hyperloop in california, but it turns out he wasn't being honest about that either. The list goes on.
TrakrLog – A new event tracking service in the making
Funny how the Miami - Medellin question is roughly what most people would answer too.
>As an aside, the problem with this system-- like a lot of the US justice system-- is that it favors people with wealth.

I agree that it favors people with wealth, but don't really see a better solution, if you take that to mean detaining fewer presumably innocent people.

X People are low risk and should are released awaiting trial
Y People seem higher risk but can be made low risk by providing collateral.

Eliminating Y just means more people in jail.
I program in C professionally. It's a good language to learn how processors actually work. It's on the embedded side, where there are other options but either they're not mature (Rust) or were never really taken up (Ada). Embedded C it's just you and the hardware. It's a good way to learn about what's actually going on. Anything, like an Arduino or Arm cortex is great. Small warning about ESP32 boards - some are based on the Extensa cores, which means you need to use their compilers. Others are based on Risc V - do your research.
How do airlines usually sandbox in flight network traffic?
Spongy, malty, lightly speckled.
Where did pirates spend their booty?
Unfortunately, if you like me have been a LP customer for years you are hosed.

Early on, they only did 500 rounds of AES which significantly weakens you even with a strong password.

So, I've had to change my master password and now I'm in the process of updating all my passwords :(

By not forcing a re-encryption when they uped the number of rounds, LP has hung all their old time customers out to dry with this leak. It's not ok.
It’s one thing to have viewpoints, there are a lot of traditionally conservative ideals that have value, but, like many things, become a nightmare scenario when taken to the extreme.

I think the “pathetic” comment is aimed at the fact that if you’re running with the Alex Jones camp, you’re not really on planet earth anymore.
THE YEAR OF, THE YEAR OF
-----------------------
(a poem)

This is the year of the RSS reader, said Hacker News.

This is the year of the Linux desktop.

This is the year of IPv6.

This is the year of ____ battery technology that is ____ times better than Li-ion for ____ application, but is impractical because it _______

This is the year of the portable fission reactor.

This is the year of the tokamak; this is the year of the stellarator; this is the year of quantum supremacy.

This is the year of not quite-yet.

This is the year that we finally expose those weird woke people.

This is the year that we finally expose those flagrant futurist-fascists.

This is the year that there was another shooting, and then another, but we were fascinated by the ghost guns, not the torn flesh.

This is the year we invented "freedom of reach", because it rhymed, and there is no tax on superfluous fine distinctions. Nor, it would seem, on rich mens' folly.

This is the year, this is the year, this is the year.

This is the gyre, this is the gyre, this is the gyre.

We love the merry-go-round; for when it goes fast enough, it really feels like you're getting somewhere.
Akregator still looks exactly like that, I guess if it works, it works.
I've never understood how the people over at

https://reddit.com/r/overemployed

do it.
> A TSMC plant in the EU would be a boon for Germany, which already has an Intel plant planned in Magdeburg. But the chip giant is said to be delaying construction in order to seek further public subsidies for the project, citing increased costs as one reason for the rethink.

Germany should build their own industry instead of giving away their money, you didn't become Germany by subsidizing Ford or Toyota
Yes but by decades it is improving and if you look at the charts there have been huge strides since the 60s that have brought black Americans into the same income distribution as all other ethnicities other than indigenous.

It also clearly proves their “black/native and everyone else” wrong since it says Hispanic ethnicities are also not catching up all that fast. The narrative that we’re just not improving the lives of black Americans is unhelpful and incorrect.

Id agree about natives, but there’s a lot less discussion around then (which is sad to say the least.)
Meson Build System 1.0
Yes, about $10b of customer funds.

Funds misappropriated by Alameda and spent on VC investments may ultimately have become people's salaries. Some politicians have announced their intention to donate an amount of money equal to SBF's contributions of customer funds, but it's unclear whether they mean "donate to my own 501(c)(3)" or "return to FTX to be paid to creditors" and the phrasing certainly sounds more like the former. Most of the funds were probably embezzled (you will hear these people say "loaned" I guess) by FTX/Alameda executives or lost as part of Alameda's trading operations. Recovery of trading losses is extremely unlikely, especially trading losses that occurred long before the bankruptcy on venues other than FTX. SBF and BlockFi are currently arguing that each of them should receive the $441 million of Robinhood shares that SBF purchased using customer funds. "Hackers" stole about $500 million of customer funds from FTX US and FTX Intl immediately following the bankruptcy, and these funds have (mostly?) made their way into RenBTC and been bridged to native BTC and sent to mixers.

Some FTX customers who withdrew funds as part of their normal operations will face clawbacks, and some other FTX customers such as Modulo Capital and @AlgodTrading who have essentially stolen from all other creditors will hopefully also face clawbacks, but the total amount recoverable this way is maybe $1-4 bn, and all of these people are creditors anyway, so giving the money to other creditors doesn't do anything to address the shortfall.
Is he off Twitter for good?
Yarr: https://github.com/nkanaev/yarr.git

Super neat and minimal web based rss reader. It also needs minimal resources and virtually no maintenance.
The most promising are probably one of the smaller versions of bloom https://huggingface.co/docs/transformers/model_doc/bloom or gpt-j https://github.com/kingoflolz/mesh-transformer-jax
Hey OP, thanks for the text. Posting some provocations here since I like to expose an introverted point of view.

> When everyone else can, why can’t you just enjoy a drink or two, and be part of the group for a few hours?

Apart from the hearing loss, maybe you are an introvert and just prefer more quiet enviroments. Nothing is wrong with that, there is no need to feel you must go out because of peer pressure, and no need to wait until you have a hearing loss to have an excuse to stop going. It is better to find other people who are introverts than eternally trying to adapt to be something you may not want.

> At some point it stops making sense, having done it repeatedly with the same outcome.

If you find purpose in doing something, then you don't do it because of different outcomes. Maybe you didn't find purporse in going out from the beginning?
In Steve Yegge’s linked post:

> Math is a lot easier to pick up after you know how to program. In fact, if you're a halfway decent programmer, you'll find it's almost a snap.

This couldn’t be more wrong. Mathematics is the hardest thing I have ever done. I’m sorry, but mathematics is orders of magnitude more intensive and difficult than most programming. A simple fact that shows this is the amount of programmers who have no formal training in engineering or computer science but we’re able to self-teach the concepts. The same cannot be said of mathematics, which requires deep, dedicated study. Most programmers I know know very little mathematics, and it’s not like I’d claim I know a lot either. I’ve forgotten more than I know.

He even mentions how little math he took, so I’m not sure he’s an authority on the subject. Most of his post is just surface level platitudes. I’m generally confused why I see his posts referenced so frequently.

To be clear, this isn't some attempt at gatekeeping. It's just that mathematics is a very deep, difficult, and misunderstood subject. I think maybe only true philosophy is harder because there, it's usually not even clear what the questions are.
Why would you not pull third-party libs? I presume you use loads of them in the actual codebase how is this different?
Basically they can ruin his parents if he skips - take everything they own and any bitcoin or other assets up to $250 mil if they find it. They are betting he will not do that. They are trying to publicly appear to be aggressive.
> This is the key issue with free markets and why they fail totally at anything long term, complex or socially important (like healthcare and education).

Healthcare is very heavily interfered with by the government. Public education is totally the government. Isn't it amusing that those are the poster examples for "failure" of the free market?

Let's take the software industry. It is nearly completely unregulated. It's been a resounding success.
I believe because it always mean On/Enabled/Active when it’s green. So consistent meaning.
That's always been the meta. Go watch any historical leader giving a rousing speech or a politician before the elections.

The Xi Jinpings or Winston Churchills calmly announcing their plans are the exceptions to the rule.
I'd call that a straw man. Very little code is written that way, so it doesn't apply in practice, like... at all.

Also: unless you have very specific requirements there are probably easier languages+tools to write proven-correct programs in.
As with many things in programming, it comes down to personal preferences.

Some people love Perl, some people hate it. Some people love C++, some people hate it. Some people love VS Code, some hate it. Etc etc.

Same thing with Lisp and the parentheses.

No language has perfect syntax, so I would say go with the language that irritates you the least.
Yeah I can think of a few. That sort of influence is one, benefiting advertisers is another, positioning themselves to get a cut of all transactions is another. Is there an alternate universe where in order to get your content in front of users, it has to be AMP and in order to be AMP, it has to meet a new requirement that all payments must be done through a payment framework that lets google control the user experience (“purely for the end users’ benefit” of course)? Probably.
Hey guys!

I just published the landing page for TrakrLog!

It is going to be a simple and flexible event tracking service which allows gathering insights from your application via a single http request.

I just open the waiting list in order to validate the idea and see if there is enough interest!

Hope you like it!
Tollywood veteran actor Kaikala Satyanarayana no more
> I love Hemingway's novels more than his stories (generally), chiefly The Sun Also Rises and For Whom the Bell Tolls.

I think it's in some ways unfortunate the way we have high school students ready things like A Farewell to Arms, maybe For Whom the Bell Tools, or Old Man and the Sea, rather than for example, moving students through more of a progression. For example, you read The Nick Adams stories that Hemingway used as almost "notes" for his later works. There's something gritty and unrefined about the stories, but you can see Hemingway starting to build a style. Islands in the Stream, published posthumously, is more of an insight into how the writer worked than a complete, finished novel. If we are going claim to your students that this Hemingway guy was the great writer of the 20th century, we should at least owe it to them to really demonstrate why.
> Why so many engineers feel entitled to have more than the average working Joe ?

Above average investments (time , effort & money) have a natural feeling of entitlement for above average returns.

Cost of getting an engineering degree of value is nowhere near any "average" degree.

Recent years have driven the median cost up and the median returns down. Hence the laments about "college is not worth it"
But it's being done by professional translators, right? That might be more expensive than having a human do live subtitle transcription, but I bet it's not a huge difference especially relative to the production costs of any broadcast to a large audience, and based on the live subtitles I've seen (mostly on national sports and news broadcasts, so I don't know if that's automated or done by a human) it's hard imagine the quality achieved by professional signers wouldn't be significantly better.