skysight-inc/HackerNews huggingface dataset:
At least the parts and DIY effort to fix it along with the cost of two pairs of joysticks is equal to the $15/yr service (via Amazon). Not that it justifies the flaw, but that coupled with playing while docked via Pro Controller would make it last a little longer.

Sadly Nintendo has gone more user-hostile than Apple from what it feels like. At least Apple uses something as common as Torx screws instead of tri-wing nowadays. The Switch will be the last system I buy from them no matter how tempting the next Smash Bros. will be.
> Boomers were a very entitled generation. They have the post-war benefits of their previous generation and ran up a huge deficit for the following generations to pay back

That's a better description of the Silent Generation than the Boomers.
Would you like to provide any evidence or supplementary information to support your claim?
I personally have a PR ready to go which adds documentation for API Key Auth (missing page till now, very requested by community[1]), which has been ready since early May, stagnant for almost 3 months now[2], don't know how to bump without spamming.

It's unfortunate, because FastAPI is one of the best libraries I know of otherwise in terms of capabilities for time spent writing code. Nowadays, though, when recommending this lib at work, I need to add "but pray you don't hit a bug or missing docs, or you're on your own".

[1]: https://github.com/tiangolo/fastapi/issues/142
[2]: https://github.com/tiangolo/fastapi/pull/4818
That article states plainly that just the Declaration of Independence refers to God four times. I'm confused. The same article earlier asserts that there are no mentions of God in the four founding documents.

If your intent is to ever convince someone who you disagree with I recommend more consistent scholarship that is less hostile and more bent to the truth. I acknowledge that in our fractured time, finding such scholarship is difficult at best.
I think the question was more surrounding the thermal pads on things like the VRMs. My understanding (though full disclosure, I've never disassembled a GPU myself) is so long as you take care to not tear them, they should be fine.
https://i.kym-cdn.com/entries/icons/mobile/000/027/475/Scree...
They've merged on the test net, so the August timeline is sounding realistic.
I'd love to be paid to hoard steaks.
It's not only abortion clinics, anything categorized as a sensitive place.

I'd like to say more but it would violate at least two of the site guidelines. :)
I'd rather they just give us clear location spying settings, that are opt-in, instead of making it so deliberately confusing that their own engineers can't figure out how to disable location spying [1].

[1] https://yro.slashdot.org/story/20/08/26/1428200/unredacted-s...
Why not? Embarrassingly-parallel problems (of the kind you'd use a GPU for) are a perfect use-case for enhancing fault-tolerance through redundancy (i.e. running your program on three cards at once and only accepting the output if they all agree.)

The only place this doesn't apply is gaming, where you're trying to get realtime interactive results while economizing on both cost and energy. But for every other use of a GPU, you can't go wrong with "throwing more compute at the problem."
> I have no idea what happens to the customer accounts at the bank in case of a Voyager bankruptcy. E.g. if they can be used to cover voyagers debt or have to be handed over to the customers.

Most likely, the customers are unsecured creditors to Voyager, which means they're at the back of line for getting claims on those assets.
Genuine question: how does this compare versus something like modelling in primitive python? what benefits are there, or is it just a case of age and that this is language / system agnostic?

I'm just finishing cosmic python[0], which talks about making a primitive model of your system first, that you can run business logic tests on, then all the other code depends upon that (domain driven design / onion layers, etc). To me it seems like this is the same thing. The only aspect that stuck out was the "two transfers at the same time" which to me, seems like it would depend on how you're implementing the model, rather than the model itself?

For instance, the example in [1] could also be done in primitive python, (arguably easier to read in my opinion but I'm not used to TLA syntax :)

@dataclass
class Person:
balance: int

def wire(a: Person, b: Person, amount: int):
if a.balance >= amount:
a.balance -= amount
b.balance += amount

@pytest.mark.parametrize(
"a_amount, b_amount, transfer, a_remaining, b_remaining",
[
(10, 10, 10, 0, 20), # matching amount
(6, 10, 10, 6, 10), # has less
(0, 10, 10, 0, 10), # has nothing
(10, 0, 10, 0, 10), # to empty account
],
)
def test_wire(a_amount, b_amount, transfer, a_remaining, b_remaining):
a = Person(balance=a_amount)
b = Person(balance=b_amount)
wire(a, b, transfer)
assert a.balance == a_remaining
assert b.balance == b_remaining

The author did mention "... could be done in python" as well, so I doubt it's a case of not knowing about python, but perhaps my question is "why TLA over python?"

[0]https://www.cosmicpython.com/
[1]https://www.learntla.com/intro/conceptual-overview.html
There are different problems.

Thermal cycling common to gaming uses causes mechanical failures in chips, between chips and the board, and the board - but electrolytic capacitor lifetime drops dramatically as temperature goes up.

Not much thermal cycling in desktop systems seeing mostly "productivity" use that have proper ventilation.
> USDC is supposedly USD backed, so a reasonable person would presume someone who advertises FDIC insurance of cash would assume the USDC underlying USD is backed by FDIC.

That is not how FDIC insurance works. If you don't hold USD, you don't enjoy any FDIC insurance, period. Not your USD, not your insurance.

> If they meant only some of the cash (non USDC backed) was insured they should have said that.

Judging from the text at the top of this thread, this is precisely what they said, so it's not fradulent. At no point are they saying that they offer accounts protected by FDIC insurance--instead, they're saying that their USD reserves are in FDIC-insured accounts. So no misrepresentation going on.
Which is why I said the rest sounds bad. But being a step ahead of your peers is something else that makes life better.
Thanks a ton Mike! One of these days I want to start working on a djgpp version of the library code. 32-bit clients could be useful for some things.
IIRC, the location history in Google is pretty fine grained in both time (like minute to sub-minute) and location (GPS location if it has it). So if the location history is deleted when a user is within ....500 ft of a sensitive place? The lack of logs all of the sudden may be enough for an authority to ask for e.g. carrier location logs (or pick your favorite app that also logs location data too).
I've got both those scams. The Zelle person sent me a fake email claiming to be from my bank and that to verify I needed to send them money so they could send me money, right...
You mean because it uses foo=bar rather than --foo=bar? I don't know, it's not that weird.

I mean, find uses parentheses for forcing evaluation precedence, e.g. -foo -or \( -bar -and -baz \). That's pretty unusual.
Is there a language/framework can describe a model and generate checking rules?
We have a fairly complex embedded system. I have been writing a Python script to analyze its register dump and narrow down the problem areas. But it is quite tedious writing such script, because I have to write a lot of code such as, the 1st bit of register 1 must equal to the 3rd bit of register 2; another example, register 3 plus register 4 must be no more than register 5 when register 6 is greater than 100.

I am thinking to write a DSL, Domain Specific Language, to describe the system specification and that DSL will generate Python code which does the checking.

Before I do this, is there a ready tool/framework/technology/language I can leverage?

Someone mentioned TLA+, my first glimpse tells me it is not for my need. Like to hear your suggestions.

Thanks.
> oh and also how to sell drugs. public schools are great for learning that.

total cheap shot. s/public //

drugs follow money

at private schools what do you think you see? more expensive drug habits.
Dude said he'd rather die than delete his Tweet. Get over yourself, you agreed to an EULA and now you're being treated like the shmuck you are.
I think that it should be acceptable if the label says "almond milk" (with the words prominently displayed) or whatever it might be, but should not simply say "milk" if that is not what it is.
What I find mildly interesting is that different people get a different mix of scams. I only get "extended warrantee" scams. I've never seen these "wrong number" texts.

Other people get a completely different mix. I wonder how these get determined.
For better or worse, probably about the same as now. Ethereum's stakers have no more governance rights than miners, and their return on capital probably isn't better than miners' since the reward is so much lower.
NoRedInk | Full-Stack Engineers, Senior Full-Stack Engineers, Principal Full-Stack Engineers, Frontend Accessibility Engineers, Growth Engineers, Quality Assurance Engineers, and Engineering Managers | REMOTE from time zones between (and including) Pacific Time (PST) through Brasília Time (BRT), which includes both the continental USA as well as countries outside the USA.

We’re a growing ed-tech company on a mission to help all students become better writers! NoRedInk is used by 1 in 2 school districts in the US, and students have answered over 5 billion questions on our platform. If you're looking to join a team of friendly people who listen to and learn from each other, discuss past mistakes openly as we adapt to the challenges that come with progress, all while realizing our mission, then you'll be excited to learn more about us.

Our colleagues span six time zones, California to Berlin and points in between, with lively discourse flowing freely across Slack, Zoom, and the office when we're able to be there. Wherever we're working from, we've always delighted in our work to ship new features—beginning with our curriculum and product teams, designers, through to testing by our dedicated quality assurance folks—that put teachers and students first. [1]

Our engineering team [2] takes prides in producing innovative, maintainable software. We use the cutting-edge Elm programming language for all our front-end development. Our back-end is primarily Ruby on Rails by lines of code, though we're actively moving toward Haskell; the majority of our traffic now goes through a Haskell service. We use Amazon AWS for our infrastructure orchestrated primarily using Kubernetes. We write a lot of tests, and use Jenkins for continuous integration. We've also developed and maintain several useful open-source projects. [3] You can read about our experiences with these technologies on our team blog. [4]

We’re looking for engineers who want to work on a mission that makes a difference and who are the type of collaborators that value kindness and open-mindedness.
If that's you, you can learn more about our interview process [5] and on-boarding experience [6], and you should definitely apply through our jobs page! [7]

[1] https://www.noredink.com/about/values

[2] https://www.noredink.com/about/team

[3] https://github.com/NoRedInk/

[4] http://tech.noredink.com/

[5] http://tech.noredink.com/post/145260396603/our-engineering-h...

[6] http://tech.noredink.com/post/143787279069/on-boarding-as-a-...

[7] https://www.noredink.com/jobs
Expense. We looked into it when the kids were little but concluded we would need to hire at least one full time teacher (wife and I both work) and therefore would need to aggregate with several other families. At that point you're starting a school and we observed that we were already paying (handsomely) for the public school. That said we did supplement our kids education at the elementary level with a once-a-week science class from a retired teacher we know, and I spent quite a bit of time teaching them Mathematics "properly" up through 9th grade.

I made use of various tools for that, including the same problem setting software the professional teachers used, and of course Messrs Kahn and 3Blue.
Blocked in Brazil for some reason.
Just make them before-school programs. There is no reason every student should be affected by after school programs which affect a subset of those students.
I've literally never heard the silent generation described in that way.
So the gattaca surgery is worth it.

https://news.ycombinator.com/item?id=31211725
From the NTY op ed: https://www.nytimes.com/2022/07/01/opinion/supreme-court-epa...

"Chief Justice Roberts’s predecessors recognized their own limitations. In the 1984 ruling that formalized the court’s policy of regulatory deference, Justice John Paul Stevens wrote that “judges are not experts in the field and are not part of either political branch of the government.” Both points are important. The court lacks technical expertise and an electoral mandate. Thursday’s decision asserting a more muscular role is thus a blow to both the public interest and democracy."

At this point, those repeating the Fox News 'this is a win for accountability by returning power to elected officials' line are just being lazy.
What's infantilizing about recognizing that most people attending high school are 13 or older?
I'd be interested in reading more about this. A lot of the cost of medicine is overhead interfacing with insurance providers and all the layers of profit therein, but I don't know exactly how much.
If we are going to quote Jefferson, he cuts more to the point in a famous letter to Madison:

On similar ground it may be proved that no society can make a perpetual constitution, or even a perpetual law. The earth belongs always to the living generation. They may manage it then, and what proceeds from it, as they please, during their usufruct. They are masters too of their own persons, and consequently may govern them as they please. But persons and property make the sum of the objects of government. The constitution and the laws of their predecessors extinguished then in their natural course with those who gave them being. This could preserve that being till it ceased to be itself, and no longer. Every constitution then, and every law, naturally expires at the end of 19 years. If it be enforced longer, it is an act of force, and not of right.

(Note that the 19 years is based on analysis of lifespans, etc., at the time, and is basically a model of generational turnover, so the same logic would get a slightly longer time today.)

https://jeffersonpapers.princeton.edu/selected-documents/tho...

So, at least as far Jefferson goes, the framers intent would appear to be (to borrow from Lin Manuel Miranda): “Uh, do whatever you want, we’re super dead.”

Of course, the cult that deifies an artificially constructed image of “the Founders” to justify their ideology wouldn't approve of that at all.
since dd was there first (predating "modern" argument conventions) surely it's every other software that's weird /s
I do.

It's good to have a few numbers memorized. What happens if your phone dies, and you need to call someone? If you don't know any phone numbers, you have an problem.

I dial a few of my contacts by number, just to set them in memory.
The fact that there even is such a thing as "user location history" is the problem. Carving out (politically motivated, for sure) exceptions only shows the extent of Google's massive abuse of privacy.
Elenium | Multiple Software Engineer & DevOps Engineer roles (Aviation Apps) | Remote & Hybrid (Melbourne, Australia) | https://elenium.com

We design and build hardware and software for self-service bag drops, check-in kiosks and boarding gates, with a mission to disrupt the industry by bringing our leading-edge technology to airports and airlines. We work on web apps, back-end integrations to airline systems, embedded Linux systems, IoT biometrics and computer vision/ML.

Our Aviation Apps team builds the front-end and back-end for our passenger-facing self-service apps that run on our hardware in airports. This involves integrating with airline reservation systems, airport ops systems, as well as hardware integrations for passport scanners, conveyor belts, etc. Our self-service bag drop and check-in/bag-drop app work for Etihad recently featured in one of their videos [1].

- Front-end stack: Svelte, JS
- Back-end/infra stack: .NET 6, PostgreSQL, Docker, AWS (CDK, ECS)

- Hybrid and fully remote roles available (ideally within +/- 4 hours of Melbourne AEST)

- Since our software ultimately runs on the hardware we build, hybrid roles are usually in office ~2 days/week to get experience running your code on our product

Apply here:
- Software Engineer: https://www.seek.com.au/job/57592717

- DevOps Engineer: https://www.seek.com.au/job/57592782

- or email: hn[at]elenium.com

[1]https://www.youtube.com/watch?v=JriOqdYg8IA
Doesn't homeschooling by definition sort of presuppose one of the parents staying home and teaching? That's the only context in which I've ever heard it discussed.
Didn't they also put in a big chunk of money into Celsius? 3AC + Celsius = 0 is going to hurt.
That scheme does not make any sense. What would they gain out of it
Libang Surgical Technologies | Various Roles | Vancouver, BC | Onsite | Full Time

Vancouver based medical device startup founded in 2020. Join a great and growing team building robotics for image guided therapies. You can make a real impact on the team, and see your work improving peoples lives directly.

We have a range of roles opening soon. In software, senior/lead, test, and less experienced developers encouraged to apply. We also have roles with focus on assembly & test, electrical, biomedical, and mechanical engineering as well as RA/QA and manufacturing.

For more senior roles, we are ideally looking for someone who has shipped multiple systems in the medical device industry (e.g., FDA compliant) with hardware/software components. Anyone with significant production experience in similarly regulated areas will definitely be considered, as will experience shipping in less regulated environments but with an interest in learning.

We are a small, tightly knit startup team and would love to talk to people who are systems thinkers who would enjoy contributing across various layers and are excited by the prospect of responsibility for one or more subsystems.

Must have existing permission to work in Canada, or a plan for it. Mention HN in the email and resume you send to jobs (at) libangsurgical.com
Absolutely. I grew up with a mild disability so it might have been a little worse than average, which is why I mention it. I went through most of grade 3 with a list in in the top right of the chalk board titled “Stupid List”, and for the remainder of the year after it was written, I was the only one on there. These kinds of experiences weren’t uncommon for me.

My sister is a year older and more evidently disabled, and we were obvious targets for the kids we grew up with.

You’re right though. I lived through it fine, I’ve done okay, and the experience informed me about life and people in truly useful ways that I’ve come to value.

Ideally I’d like my kids to avoid the worst of what I experienced, but I don’t want to shelter them by any means. I think there are some forms of prolonged cruelty from peers that risks being very destructive, in particular.
Possible they're the same story?
I mean technically they are FDIC insured…it’s just their “depositors” aren’t.
the civic is still available manual. bmw, porsche, ford, kia, hyundai, toyota and more all offer multiple cars with manuals. It's true that manuals are a very small part of the market, but most major brands actually still offer manuals.
So you say it's not a big enough deal to be whistleblowing. But then you want the courts to punish people for leaking this information.

Which is it? Your position is logically inconsistent.
Another advantage of FastAPI is the pydantic integration for data validation. That being said, I think FastAPI needs to find a community governance model because there are a lot of long-standing issues that the community has tried to fix only to find those fixes languishing with no official response.
I mean it's a webpage from 1994, it literally had to deal with internet speeds in the near baud range.
I miss hand-writing webpages in Notepad and then FTP'ing them to the public_html directory on the server to make them live. The amount of infrastructure, libraries, build tools, pseudo-languages, etc layered on top of each other some developers/orgs use to make a simple form today is crazy to me. It also feels super fragile: deploy a website today, come back to it in 5 years to make some changes, and half the tools and libraries you need will be gone.
I discovered this project when I was taking a look on Wizard, a fast and low-resource Wasm interpreter [1].

One of the things that excites me about Virgil is that is completely self-hosted (the runtime is fully implemented in Virgil, and it can compile itself).

Curiously enough, the person that created Virgil (programming language) and Wizard (Wasm runtime) was Ben L. Titzer, who worked on the V8 team at Google and co-created Wasm. I'm pretty excited with what he can bring to the table :)

Update: I'm trying to have virgil to self-compile into Wasm/WASI, and will try to upload it to WAPM [2] so everyone can use it easily (as the first compilation of v3c currently requires the JVM)... stay tuned!

[1]: https://github.com/titzer/wizard-engine

[2]: https://wapm.io/
Totally agree, been looking for an RX6600xt, but the price is just not justifiable for how old the card is really.
> Wish Flask had a better ecosystem of extension around it So many extensions are unmaintained like flast-restful/openapi...

There's not much we can do about it I think. It's the blessing and curse of Flask.

For example you can combine Flask + Flask-Classful + Flask-Marshmallow + Flask-JWT-Extended to build an API in a really really nice way IMO, but OpenAPI specs are lacking because these are 4 distinct tools that are being glued together.

If generating OpenAPI specs is a top priority someone would need to bundle together the major components of an API (routing + serialization / validation + authorization) into 1 library in such a way that it's better than combining a few smaller libraries together. But if you're looking to build such a large library then it kind of goes against Flask's philosophy of being a micro-framework where you bring your own batteries.

If you want full blown batteries included for an API based app then you're probably better off using Rails (even for building APIs) or Django with DRF.

I'll admit it's not a great outcome tho. I really do think Flask-Classful + Flask-Marshmallow + Flask-JWT-Extended is a great combo but as someone who has been using Flask for 7+ years, have courses on Flask and have built a ton of apps with it when a client wants to build an API driven app where OpenAPI specs are important then I've gone with other solutions. Thankfully most of the apps I build return HTML and Flask is still great for building non-API based apps.
Interesting. Also from your link they outsource their customer service too. So you've go three separate companies, the bank, the debt collection agency and the customer service. It sounds like bad customer experience waiting to happen.
No code samples without digging into links in the documentation doesn’t seem very inviting. Especially when the project itself is a programming language.