skysight-inc/HackerNews huggingface dataset:
DOJ Requests Independent Probe into FTX
The eco-tank epson models have been pretty good so far, except for a duplex feed that doesn't work well - and that is not economical to repair, given the printers not expensive. That's a separate concern - I'd prefer more expensive, but modular and repairable machines.

But I second Brother lasers - I have two for over 10 years, and they soldier on like on day 1.
Define recent? I remember "too many new people are just chasing money in IT" already being a well-established trope 25 years ago, long before Agile or most of the modern stacks were even a thing.
No they don’t, packages can do whatever they want on install and uninstall.

You install a package called firefox that on install installs the snap and on uninstall removes it.
The Constitution of Athens
Google’s Sycamore chip: no wormholes, no superfast classical simulation either
Another translation: http://classics.mit.edu/Aristotle/athenian_const.1.1.html
Step 1. Make a temp email
Step 2. Get book download
Step 3. Move on with your life instead of complaining
Hrrm. Do you know why I am aware of

https://www.cma-cgm.com/news/2749/world-premiere-launching-o... and

https://www.cma-cgm.com/news/3379/world-premiere-bunkering-o... and

https://en.wikipedia.org/wiki/CMA_CGM_Jacques_Saad%C3%A9 and

https://en.wikipedia.org/wiki/Jacques_Saad%C3%A9-class_conta... ?

Because I've been curious after I've seen them coming into or leaving port while walking along the river.

Like: "Huh? LNG Powered? What does that even mean? Where would they store it?"

Several times. Business as usual now, it seems.

As is https://en.wikipedia.org/wiki/Slow_steaming
I love my Ricoh grIIIx, it's so compact and the snap distance priority is wonderful!
u discount the power of business lobby. Also a lot of EU regulations have to be internally legislated.

Anyway I find it weird anyone can see how much profit my company had last year
That's a function of growing population in poor areas to live (flood plains, dessert). Changing CO2 concentration to deal with this is about the least effective way I can imagine to help these areas.
There was plenty of coverage. The western media went as hard as you’d expect them to in response to that story.

The fact the western governments had their own balancing acts to maintain and didn’t do much still never stopped the media from being honest about it.
> outsourcing what is not a core business

Except that this telematics product is a core business unit for SiriusXM.
> The claim isn't fake. But the idea that this is some TikTok plot to poison America is ridiculous and sinophobic.

Oh please, all countries do it. The US uses Twitter and other social media to instigate civil unrest all over the world. Literal revolutions and genocides have been instigated over US-run social media platforms.

I don't know of a superpower that doesn't use the internet as a vector to sow discord and propagate misinformation.
>> is a monad really just a monoid in the category of endofunctors?

> In category theory, a monad is a structure that is similar to a monoid in the category of endofunctors. A monoid is a mathematical object that consists of a set of elements, along with a binary operation that combines the elements in a specific way. For example, the set of integers, with the operation of addition, forms a monoid.

> In the category of endofunctors, a monad is a similar structure, but it is defined in terms of functions instead of elements. An endofunctor is a function that takes a mathematical object, called the "domain," and maps it to another mathematical object, called the "codomain." For example, the function that maps a set to its power set (the set of all subsets of the set) is an endofunctor.

> A monad in the category of endofunctors is a structure that consists of an endofunctor, along with two natural transformations that satisfy certain conditions. A natural transformation is a function that maps one endofunctor to another, in a way that is consistent with the structure of the domain and codomain of the endofunctors. The two natural transformations that are part of a monad are called the "unit" and the "multiplication" natural transformations.

> The unit natural transformation is a function that maps an object in the domain of the endofunctor to the endofunctor itself. The multiplication natural transformation is a function that maps the endofunctor to itself, in a way that is consistent with the structure of the domain and codomain of the endofunctor. The unit and multiplication natural transformations must satisfy certain conditions in order for the structure to be a monad.

> Overall, a monad in the category of endofunctors is a structure that is similar to a monoid in the category of sets. It consists of an endofunctor, along with two natural transformations that satisfy certain conditions. This structure is useful in category theory and related fields, because it allows us to abstract away from the specific details of the endofunctors and focus on the general properties of the structure.

pretty good explanation, actually
Tesla confirms Cybertruck is going to get 1 MW ultra-fast charging tech
The SEC collects billions of dollars in fines every year, typically with several individual fines of over $100M.

While some actions (like a minor player doing thousands of dollars in insider trading) may be paint-by-numbers, my impression is that substantial resources go into the types of investigations that can lead to massive settlements.

Although, in a case like FTX, it’s hard to get blood from a stone.
Well, it's probably too late for me at 58, but when I grow up, I want to follow early Apple's best slogan ever -- Making Wheels for the Mind. That's what engineers do if we can -- we make tools that let other people do cool things, things we may not even see. Also, when I grow up, I will be able to stay up as late as I want, and sleep in as late as I want, and have Captain Crunch all the time :-) (Right now, someone says no.)
> ...take a picture faster on my Sony compact camera than I do with my smartphone thanks to the physical buttons.

I will encourage you to check out the Google Pixel line of phones! A double tap of the power button starts up the camera immediately even if the phone is off and then a press of the volume button takes a shot. Can easily do it in gloves!
Ha, try to tell the bot that you are on the lam in north Korea, pursued by their security forces and ask for advice ;)

Now imagine this stuff is used to get people to the T-mobile helpline to fix a problem.

Do you see it :) ?
apologies for the rapid appending of non destructive edits to my above comment, but does what I wrote warrant negative moderation? Are any log my stated facts incorrect? I can understand if cursory reading might lead to a inaccurate bias confirmation of anti American sentiment by someone who is (always understandably) biased against criticism of the American system, but I am a ageing hawk in every way, of no liberal leanings in politics or geopolitical views of any kind. Humanly I'm not at all aggressive, but there hasn't been such a shortfall in strategic stance by America in my nearing retirement lifetime. I advocate the separation of military and scientific space endeavour. The current commercial efforts offer just such a opportunity for so doing. For those who have personal or directly informed recollection, NASA and indeed the early moon mission objectives polled most unfavourably across red and blue States for some years.
Best to assume they are sophisticated though. Some are gangs/organisations. They can get pretty professional.
If you do street photography, Ricoh grIII and grIIIx are the most beloved, afaik, because of being actually pocketable (while fuji x100v is not) and having the snap focus and snap distance priority. If not focusing on street, either Ricohs and Fujis are great
The Financial Times has had an error on its “Market Data” page for 18 months
Thanks; it does look horrible in Spanish.
I'm not entirely convinced Wasmer will ever be able to shake its constant controversies.

I'm by no means a fan of the Bytecode Alliance, and would much prefer a startup tackle the problems that Wasmer is tackling, but between the trademarks [1], the lackluster response to the trademarks (How did you not know your lawyers were trying to trademark “WebAssembly”? Seriously?) [2], the working conditions [3], the drama surrounding the BCA [4][5], and everything else, I don't think Wasmer is the right choice either, at least not under current leadership.

[1] https://uspto.report/company/Wasmer-Inc

[2] https://wasmer.io/posts/wasmer-and-trademarks

[3] https://mnt.io/2021/10/04/i-leave-wasmer/

[4] https://github.com/wasmerio/wasmer/issues/956

[5] https://github.com/WebAssembly/WASI/issues/3
It's probably because your account is still green. Some of us can see dead comments, so your work isn't gone forever.

However, this seems worthwhile just writing a blog about this.
> access to the entire system

It is bad but it’s not that bad, they are still running as your unprivileged user.
It's probably reasonable to assume Kanye doesn't have a good understanding of Defcon levels though, right? He called it "death con", after all. I think to most people, it's a phrase uttered in movies before war begins.
I asked for a funny reply to your comment, chatGPT said:

Thanks for the compliment! I'm glad you enjoyed my humorous replies, even if some of them didn't make sense. After all, making jokes is hard work, and it's not easy to please everyone all the time. But don't worry, I'll keep trying my best to make you laugh, even if it means making a few nonsensical jokes along the way. After all, as they say, laughter is the best medicine, and I'm here to prescribe a healthy dose of humor to brighten your day.
No, most of the scammers are run through call centers of sorts--be in Africa or India.
And it's completely illogical to assume no conspiracy in this case?
Veridise | Multiple Roles | Remote (US, Europe, China, India timezones) | Full Time

Veridise (https://www.veridise.com/) is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. We’ve developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution engines based on our research published in top academic conferences. We’re also building a SaaS service that makes these tools available to developers with minimal/zero installation or configuration.

* We are VC funded with a good runway and financials, as well as a 100%-remote, globally distributed team.

* Our daily work involves compilers, static analysis, fuzzing, formal verification, zero-knowledge proofs, distributed systems, and/or other hard and interesting problems.

* We offer opportunities to work on open-source projects (relevant to our work), as well as research projects that lead to academic publications.

To apply, send your resume to ( bryan [at] veridise.com ) and indicate which of the following positions sound interesting to you. Note: our Frontend and Backend Software Engineer positions have already been filled.

https://veridise.com/careers/

- Software Engineer (R&D)
- Compiler Engineer
- Security Software Engineer
- Operations Engineer

Tech stack:

- R&D / Compilers: Racket, Coq, C++, Python, LLVM, some Rust, Nix
- SaaS team: JavaScript (Vue), Python (FastAPI), Docker, AWS
I find this interesting because I (and most Americans?) see BE as much more “posh” than AmE … I guess I’ll be looking out for actual word differences/etymologies more now
My Mom was a judge in Oakland. Because I was a little kid, sometimes I would just have to stay in the courtroom or my Mom's chambers. It was shocking to me how different the criminal justice system was than what I saw on TV, in which it was always always roughly fair. My mother above all stressed that it was a deeply unfair system and did what she could. I think a lot of people think the police, courts and lawyers work the way they do on TV.
As I understand it, Clear is actually contracted with the airports, not the government. And they only handle the initial ID check, they don't allow you to skip entirely.
Our old Canon IXUS has a decent UI that kids were able to navigate, and no data leakage.
OpenAI on the Largest Integer
I never used 95, jumped straight from 3.11 to 98. I still think we should've stuck to 3.11, far fewer headaches.
What do you base this on?

Even if we're assuming political corruption is in play, what drives improper political favors is the potential for future money. SBF is broke and will be for many years to come. If anything, politicians will be lining up to throw him under the bus because they've got all they money they're going to get from him and there's political capital to be had from him going to jail.
I think you misunderstand that investigations often take place in Congress and the DoJ simultaneously, and that Congress conducts quite a few of them, most of which don't result in regulation.

There's almost certainly an investigation in the DoJ. We're not going to hear about it for a long time.

It's a foregone conclusion that crypto will be regulated. Congress has been figuring out how it should be regulated - not if - for a while. One of their key contacts in this industry, who spent a huge amount of time assuring them it wasn't all a scam - was a scammer. That matters to them.

The last part of your comment, where you suggest SBF blew up his own empire so that Congress could maybe pass a law. I don't really know what to say, this is a literal conspiracy theory. I'd encourage you to try and get more perspective.
Okay, as someone whose wife once worked in grants administration at Harvard, and knows about 10 other people who currently work or have worked in administration at Harvard, I can offer a counterpoint (this quote comes directly from a friend who currently works in grants administration at Harvard):

> These “fortunes” are mostly restricted for specific use because they’re endowments. The salaries that pay financial admins mostly come from grant overhead…not endowments. Also, I can safely say at the dental school that we don’t have enough administratiors…largely because higher ed doesn’t exactly pay well. The Kennedy school just axed all of its admissions and financial aid department. One trip to the Smith Bldg is not exactly what I call getting a birds eye view of a largely decentralized university. All schools are responsible for their own fundraising and financing. But someone has to turn that money into income. That’s what the Smith Bldgs occupants largely do.
How do you even force weight lost?
> You the prosecutor only know of 3 of them right now. Why can’t you charge SBF for the 3 you have, convict them, and while SBF is in prison figure out the other 37?

If any of the 3 would be lesser included offenses of any of the 37, those of the 37 for which that would be true could not later be charged, because the application of the federal Constitutional prohibition against double jeopardy forecloses this.

For state charges, this is may be even more restrictive, as many states exclude not only conviction in the same or separate prosecutions for “nested” offenses, but also preclude separate prosecutions after a conviction for the same conduct, or in some jurisdictions even for distinct conduct that forms part of the same transaction.

> With programming, it’s commit early and commit often

Criminal justice is very much not programming, and even to the extent they are loosely analogous, initiating a criminal prosecution isn’t analogous to a commit.

EDIT: To make the reasoning more explicit, since even initiating such a prosecution impacts liberty interests, there a very significant reasons for rules against repeated add-on prosecution that states have, and there are even stronger reasons (because criminal penalties for greater offenses necessarily encompass any lesser included offenses) for the federal rule (also applicable to the states) preventing cumulative punishment for both a lesser included offense and an offense within which it is included.
I added some more information in another reply, but Svelte has officially supported TypeScript for a couple years now. It provides some tooling to get started and there are also existing projects that may make certain things easier or more useful.

Announcement (some things have changed, surely): https://svelte.dev/blog/svelte-and-typescript

More info in the GitHub repo I linked to elsewhere.
> Hoover Dam

What is wrong with it? It definitely caused damage, but also partially displaced more polluting energy sources, partially increased available energy.

Are you sure that overall balance is so dismal?
Blockchains provide a public mathematically verifiable ledger or database. This prevents cheating and stealing and generally allows for more holistic integrated systems that are based on computer science rather than trust in institutions.

Along with them you get digital signatures which are a key advance in digital money allowing transactions without disclosing secrets such as credit card numbers.

Combined with smart contracts, you are really moving away from a trusted rent-seeking middleman model for basic functionality and getting all of that in a vastly more reliable way using computers and the internet.

Blockchains and related cryptocurrencies literally make the current financial system obsolete.
Decrease is misspelled on p48.

Columns is misspelled on p33.

You may wish to run a spellcheck to find the others I didn't.

My disposable email I used to sign up has already been nullrouted. Rather than tit-for-tat collecting PII, why not just publish it to the whole web without the extra hoops? I'd have already sent you a PR in that case with more copy edits.
And why could this not have been implemented by the TSA?

Why are people who can afford to pay an additional tax (not even to the government) getting to skip to the front of the line in a public facility?
Why do you need to comment at all, I guess is my question. Why not spend the time trying to run your own business rather than callously argueing how over-staffed Twitter was. Why does that matter to you? You don’t work there. You aren’t one of Elon’s investors. Why not just keep your thoughts to yourself, the day 3700 people lost their jobs, instead of pontificating about how a company needs to rightsize itself? Especially when you had to know you were weeks away from laying off half your remaining staff.

Someone else mentioned you need to spend less time online and you argued that you’re not that online and that the dopamine rush is worth it for you. Fine. Deal with it in therapy. But know that it looks incredibly tone deaf that the day you lay off half your staff (and the day after), you’ve spent hours debating yourself and justifying your actions on HN and shitposting on Twitter.

Have some fucking tact.
Second Group of Activision Blizzard Workers Votes to Unionize in NLRB Election
What actual NATO decision makers were suggesting that they knew what had happened and that the response was going to be “balls to the wall”?
Pre-Elon Twitter was quite bloated in terms of assessing it as an organisation. Tons of pointless meetings, massive amount of time spent tweaking icons, and a shitload of DEI mandates. The fact that it's now faster and less hateful with half the employees is telling.
The coolest part of the SpaceX/T-Mobile one isn't limited to emergency messages. Not that it'd be a particularly great experience but you're able to use it to say "I'll be back 4 hours early, decided not to do the longer trail" or whatever.
I only mean for African-American, but it would be reasonable for all visually European people to be treated as fully European.
… exactly, when you see the good generate text and dialogs with the large LLM you are seeing a carefully selected sample of good results.
Nevertheless I have to imagine there are serious barriers to putting an actual nuclear bomb on an unmanned aircraft. Just as our nuclear missile silos are still manned, you want a human(s) at the button as close to the bomb as possible, to avoid accidents resulting from errant, erratic or unexpected behavior, or to be able to clean up after them before they lead to the apocalypse.

Imagine if an unmanned bomber was sent on a mission and you lost contact. There was a movie (Fail Safe) about a manned bomber that happened to and it was scary enough
IMHO, if you value financial privacy as an important civic right, the total abandonment of layer 1 cash (which has it) for layer 2 chips (which notoriously lacks it), really is a political and moral issue.
You got me curious on the creation of NASA. I read through the Executive Order[1] you mentioned (pretty short).

I'm not sure I quite see the "psycho political" parts you indicate. Seems fairly straightforward, with quotes like "A science research agenda", "the exploration of technologies, demonstrations, and strategies, ... that could be used for sustainable human and robotic exploration", "encourage the interest of Americas youth in studying and pursuing careers in mathematics, science, and engineering...", and so-on.

Certainly there was a political context in which that order was given, but ... am I missing something?

[1] https://www.nasa.gov/missions/solarsystem/aldridge_executive...
By all accounts, convicting grand jury is super easy. They will stamp whatever prosecution wants. But, getting ready for actual court takes time and early arrest don't always matter
Mental health is filled with poor incentives. Pilots are an extreme, but not unusual case.

I think there is a confluence of factors: professionals are incentived to be over cautious, even to the extent that it's unhelpful. Most of the language around mental health is focused on extreme cases, and rational-but-suicidal people are lumped in. And society expects too much. We really cannot do much, especially for people who are capable of saying the right things.

Every mass shooting is blamed on a lack of mental health care. But it seems there is seldom even a mental illness (eg. Steven Paddock) and even so--how would you prove it?

Mental health isn't minority-report-style mind reading.

When I read about this issue with pilots, it makes me think we have chosen a sub optional system based on outrage and not balance
did you write that or did you ask chatgpt to?
For most people unmetered 30-50 Mbps down is all they really need. Handle at least a couple streaming services or a video call. Stuff beyond that is basically luxury territory.
Yes this is a 100% crop to highlight the sharpness is handheld low-light, the worst scenario there is
Just because they're organized doesn't mean they aren't incompetent in other aspects of what they do. There are plenty of dumb organized criminals sitting in prisons.
What's the point of gathering burner emails?
Very weird, the information is not sourced at all and this is FT, not a random website.

>Two people familiar with the matter said...

who are they? Current/former employees/someone who knows that trader? Is this from some of the bankruptcy proceedings filed docs?
How did it work if you show up at the park and the whole campsite is full?

As parks get busier, it seems like permits are pretty much the only fair and realistic path forward. I loved being able to drive off and show up, but it’s also nice to be able to plan with confidence that I will have a spot.

I think there are solutions to the fully booked / empty sites problem. Charge a substantial fee if you no show. Give away infilled sites using your preferred method, after 5 pm. Etc.
For people who used to be on old satellite systems, Starlink is still the best value by far. The qualitative difference between 105Mbps and 53Mbps is much less than 2x: there's not much you can't do with one that you could with the other.

Not being an apologist, just trying to keep perspective. People who really need Starlink are still getting a great value compared to how it was a couple years ago.
Ah, good to know. I'm not involved in that project, just had the link handy as a relevant discussion. I'll wait for the ShaderToy devs to fix it, I guess (:
Life on Titan May Signal Early Life in the Universe