skysight-inc/HackerNews huggingface dataset:
Theorems for Free tells you that some abstractions satisfy some mathematical properties (for free!) under some circumstances.

If you write down a function with signature

{T : Type} -> T -> T

then it must be the identity function, if you do not use "malicious" extensions of the type system.

But what is the performance of the identity function?

Here is an identity function:

lambda T, lambda t, if (2 + 2 = 4) then t else t

In other words: I can hide pretty much arbitrary computation in my identity function.

Users of my identity functuon will notice that it is wicked slow (in reality, I let my identity function compute Busy Beaver 5, before doing nothing). Their complaints are evidence of leaky abstraction.

Now you might have a smart optimizing compiler that knows about Thm4Free... But that's another story.
When you say "components" do you mean that in the mixed React sense where a component could contain HTML? In my own usual cases, I call the Javascript a component, and the HTML a template. I usually take a handlebars approach on the template content and something like "data-role" to identify the template tags to the JS, and beyond that don't mix them. However, my client-facing JS components themselves are totally bound to the templates they load up - they expect the presence of certain fields to work with. I'm talking more about not mixing any business logic into those JS components: Let's say, in a form component, not anticipating that a dropdown menu will have any particular shape or size of dropdown item, which means those items need to be specified separately. This leads to JS components relying on lots of other components, when sometimes you just need one type of dropdown item for a particular component, and having dropdown items be a 20-headed beast makes everything upstream need to define them first.

Sometimes you just need a form to do what it says on the label.
Exactly! The guy just totally misrepresented your answer where you clearly linked to one. Shameless
PCIe devices are required to boot up using x1 lane only, and then negotiate further lanes with upstream.

AFAIK it shouldn't matter if they're direct to CPU or not, at least not logically.

I note the drive is Gen5 capable, does it negotiate x2 5.0 lanes or something else?
1 appointment per month? Yikes.

As someone who has been married for over 30 years, let me offer some unsolicited advice.

I know the wedding seems terribly important now, but you'll discover what everyone discovers - 2 weeks later, a year later, whenever, it suddenly seems so irrelevant.

Marriage is a milestone, yes. But it disappears in the rear view mirror very quickly. The material parts of it vanish even faster.

The important part is you, your spouse, and the people you gave with you. No amount of money, no location, no live band, will make your marriage any better. That will take daily work, communication and a willingness to face challenges together.

So, how for it. Write a script, maybe you'll get a slot. But I urge you to hold this desire lightly. There are waaay harder and more important things to come.

I say all this knowing full well you'll ignore me. I can tell you what everyone knows, but experience doesn't work like that. That's OK.

On the other hand, ask around, and see how many married folk you know still care about their wedding...
It's an open congress put on by a German club, and people giving talks aren't being _told_ to give talks in German. If someone is more comfortable presenting in their native language, why shouldn't they?
You could be valued in the sense of you get the job done competently, but not liked in the sense of not being friends (being actively disliked is a bit different and that is dedinitely a problem).
What do you mean by "the Web"? The internet, or some sort of network graph of notes (such as can be made in Obsidian)?

Either way, what is the problem with it?
The best way to achieve a good abstraction is to recall what the word meant before computer science: namely, something closer to generalization.

In computing, we emphasize the communicational (i.e. interface) aspects of our code, and, in this respect, tend to focus on an "abstraction"'s role in hiding information. But a good abstraction does more than simply hide detail, it generalizes particulars into a new kind of "object" that is easier to reason about.

If you keep this in mind, you'll realize that having a lot of particulars to identify shared properties that you can abstract away is a prerequisite. The best abstractions I've seen have always come into being only after a significant amount of particularized code had already been written. It is only then that you can identify the actual common properties and patterns of use. Contrarily, abstractions that are built upfront to try and do little more than hide details or to account for potential similarities or complexity, instead of actual already existent complexity are typically far more confusing and poorly designed.
And confirm your biases, even tho they're wrong? Sorry, that ain't our job here hahaha! :)

There's zero doubt psi/RV is real. You require 1st hand experience: https://news.ycombinator.com/item?id=42528680
Yes, it is already difficult enough achieve compromises on where to live with an economically mobile spouse, much less parents/in laws, I can’t imagine achieving much success with adding friends to the mix.

Prioritize your kids, your spouse, yourself, and let the other chips fall where they may.
I would love to visit and try out those machines. Very cool! :)
Let's get real. A lot of talent has gone into ad tech in the U.S.
you only need to look at his pictures and life before the riches. he was balding at the turn of the century and is deeply self-concious and disturbed person.

won the capitalism, richest man in the world (by wide margin) spending time arguing with his peasants on twitter… just a deeply disturbed person - his ills have no cure but it is entertaining to watch all the “freedom of speech” morons finally getting a clue who they are dealing with. ballparking he’ll rejoin democratic party no later than January 18th or thereabouts :)
You can also just twist your body when you are eating like a swirly and that can help strengthen your muscle and heals it.
Can you elaborate on the social skills that aren't otherwise demanded? I can relate to this a bit, but I feel like I'm only starting to scratch the surface
> Not everything in life is about "having fun".

Of course not. However i would put recreational activities squarely in the "having fun" category.
In the pdf you provided a significant portion of the water appears to drain. So the energy equation might work out.
Interesting, I think that's part of it but not required. This reminds me of the retrocausality experiments from PEAR lab. I have not seen any good theories on why psi/RV actually works. But there's zero doubt it does work.
Yes, if distributed that way. No, if modified by the end user.

I don't remember the CFR off hand, but the FCC explicitly allows anyone to use small numbers of uncertified devices. It would still be a violation if those devices don't otherwise follow regulations, but using modified hardware or software isn't itself prohibited.
Thanks! I tried to use a multi-sport cross section of exercises and recovery routines to show some of the things you could do with it, but all the exercises are ones that are related to sports I do to keep it grounded in reality.

I was thinking it would be fun to do git branches with some more well-known and popular routines for different goals to give people a nice range of potential starting points.

As far as how long I let it grow: I used to keep years and years of data, but this app will not be my place for that going forward. This will be for a maintenance/marginal gains habit, and Golden Cheetah will be for running/cycling performance management where peaking actually matters.

Good luck with your own app! I love the idea of an offline capable local db.
Read this if you don't believe me: https://www.bunniestudios.com/blog/2014/from-gongkai-to-open...
Yeah, the CN is cdn.media.ccc.de, and SANs on the cert are DNS Name: berlin-ak.cdn.media.ccc.de, berlin-ak.ftp.media.ccc.de, cdn.media.ccc.de, ftp.media.ccc.de, static.media.ccc.de. Unfortunate submission typo! I've done similar a few times.

Maybe @dang or one of the moderators can swap to the link in your edit!
I used them from around '18-'22. There were a couple of minor glitches sometimes, but it was generally fine and they were always quick to respond to questions. My accountant liked working with them.
Lots of edge cases. (ie: US citizens who have never been to the US)
When I was being shipped to the Great Lakes in 08 for basic, I arrived at the airport with zero identifiers. I don't know how it happened, but I left all my stuff with my family after MEPS and just didn't get it back before leaving. I had to hang around while my recruiter made some calls, and after that I was permitted to board. I wasn't personally screened or grilled by TSA. All of it happened on the backend.
I've definitely visited places which are rural which are East of the Mississippi. I have family who actually live in forests and on large farms who don't live anywhere near chain restaurants. Places where you can't even see the neighbor's fence line from your front porch. But the vast majority of places I know and have visited are urban. If there's multiple chain hotels, once again probably not rural.

Over 80% of the US population lives in an urban area. And yet so many think they live "rural" because their town isn't NYC or SF.

https://www.pewresearch.org/decoded/2019/11/22/evaluating-wh...

31% of people who live in NCHS defined suburban areas think they live in rural areas. They LARP as cowboys living in urban areas. I'm surrounded by them.

https://youtu.be/6q_BE5KPp18
Like space race? Clever theory, but does not account for the fact it actually works.

You just need first hand experience, otherwise really hard for you to see that. Try for yourself. My answer gets you to your first try: https://news.ycombinator.com/item?id=42528680

Also your theory fails on evidence: studies, testimony of people about psi/intuition, thousands of people's sessions on psi/RV, discrete use by law enforcement & business.
I had to opt in to this shit to get firmware updates. I'm very angry. This explains the laggy infotainment on my id.3 if these idiots were involved in its creation.

I can't seem to find a link to the leaked data. I want to see if I'm in it.

As per this guy, maybe I should sell my vehicle before VW is sued out of existence.
https://www.reddit.com/r/electricvehicles/comments/1hnh3sg/c...
communication is a 2 way process. Languages are just a tool. One might be proficient in one language but it may still not be the best tool for reaching a wider audience
https://www.hdmi.org/spec21sub/cablepower
It's not on par with the best TSMC has in Taiwan, but most companies are still using 4nm. Yes, 3nm has been shipping for over a year - but only if your company is named Apple. Intel just launched a small portion of its products using 3nm two months ago.

I think realistically it'd be more fair to say that 3nm is coming in 2025 and there's a huge distance between 2025 and 2028 (when they'll start doing 3nm and 2nm in the US). Right now, AMD, Nvidia, and Qualcomm aren't doing 3nm. If the world lost 3nm today, it'd basically be Apple's products that would get hit. It'd definitely screw over Apple and it'd mess up the future plans for AMD, Nvidia, and Qualcomm, but it's not like the industry has been using 3nm for over a year. No, only Apple.

The big problem is that there's a big difference between "we'll be bringing 3nm to the US in early 2026" and "we'll be bringing 2nm and 3nm to the US in 2028". If they started making 3nm in the US in early 2026, that's going to be less than a year behind most companies using 3nm. Qualcomm and Nvidia will probably start shipping 3nm in February 2025 and AMD will probably start shipping 3nm in late 2025.

If TSMC's US fab were 12-18 months behind their Taiwan fabs, it wouldn't really be a problem, except for Apple. Everyone else is waiting 18 months for TSMC's latest gen stuff anyway.

The problem isn't that the US fab can't do 3nm today. TSMC's Taiwan fabs aren't doing 3nm at scale unless your name is Apple. The problem is that their US fabs won't be doing 3nm for around 3 years after the industry moves over to 3nm. If the US fab could satisfy 4nm demand and Taiwan disappeared today, it'd mostly hit Apple's product line. The issue is that in 2026 or 2027, every company will be relying on 3nm and if Taiwan disappeared then, it'd hit the whole industry's product lines.

But it's possible that Intel's 18A will do amazing and Intel will be able to manufacture at scale and a lot of TSMC's business will move to Intel. Then the US (Intel) would be manufacturing more advanced chips than TSMC in Taiwan. TSMC isn't expected to make the move to High-NA EUV for a few more years so Intel has some time when it could overtake TSMC.
It's a fairly capital-intensive business.

Here's my best articulation of specifically what makes it hard: https://waseem.substack.com/p/tech-enabled-services
First of all, if you look at the chart at the end of the article, you can see that the level of inventory is nowhere near 2008 levels and is close to levels that have occurred many times before. That aside, why are we acting like spec home inventory caused the financial crisis and not the fact that subprime debt was issued to people who never stood a chance of paying their mortgages?
My wife and I moved with our kids back to the country we grew up in in large part because of this. For us it wasn't just being closer to extended family, though that was a part of it. We just realized Western culture (we lived in Silicon Valley, which was probably the extreme of that) was very individualistic (or nuclear-family-focused), and people's lives aren't as intertwined as in other parts of the world. As an introvert, that was actually fine for some time, but once we had kids, we felt like it just wasn't a healthy way for our family to live and we were missing something pretty meaningful.
The 2 stacks is really cool. Seems like it solves a lot of problems dynamic allocation + RAII solves. Is there more written about this?
To a large extent this depends on the car and depends what you mean by "old". Modern cars vs. 1970s cars? The older cars are completely hopeless. Modern cars vs. 15 year old cars? The older cars may have had things like ABS and side airbags as options rather than as standard, but you can find one that has them that doesn't have cellular telemetry.
psi/RV is 'uncommon sense' which is probably why so many of you have trouble accepting it! :) Even tho it's commonly learnable.

Your thinking is all so theoretical and divorced from the reality that there is zero doubt psi/RV works. It will be hard for you but try it for yourself and you will see: https://news.ycombinator.com/item?id=42528680

Also, regarding history your idea counterfactual as US made a program in response to USSR.
Artists create because they have an innate drive to create and express something. They need enough pay to get by so they can keep creating. AI will eat into their pay but their drives will keep driving. Yes they would love to be paid more but the only people driven by money are the corporations. Artists understand life is more than money, and that there is something else to live for besides more money. Unfortunately, that is also why they get taken advantage of by the money folks.
The "Missing Notes" page is interesting. I thought it would be a list of notes they need examples or specimens of, but it's actually individual lost items, specified down to the serial number: https://www.theibns.org/joomla/index.php?option=com_content&...

I like the Hall of Fame as well; gives a nice little glimpse into a hobby and community I'm not part of and have no interest in, but which a number of people are heavily invested in. I bet/hope the drama is insane...
While this is how the term is often used, I think it's cavalier use of language and confuses abstraction for modularity, and this linguistic confusion is one of the reasons a lot of programmers write bad "abstractions".

Organizing your code into components that are as independent as possible is a good practice and is the pursuit of modularity. A proper abstraction on the other hand, is a generalization that simplifies a conceptual layer in your code base.

Abstraction often enables greater modularity as a consequence, but they are not the same thing. For example, in the problem of text editing, people eventually realized that the manipulation of text is typically line oriented. Thinking of a text file as a collection of lines may seem like an obvious and modest abstraction, but it works well. This abstraction, in turn, leads to other couplings (e.g. line oriented motion is highly dependent on the line abstraction), but it also leads to potential modularity (e.g. printer code may no longer need to understand exactly how a display renders each character of text in a grid, instead, it too can work on "lines"). Good abstractions support modularity to the extent that they establish a shared domain of objects to communicate about and across systems, but they do not necessarily produce modularity in themselves.
Not if their field continues to use the journal they left, and the protestors are left out in the cold.
McD tested high for phthalates, phthalate substitutes, and even sometimes for bisphenols.
TSMC's dominance is at least as much Intel's fault as it is Apple's. And even if Apple hadn't been funneling so much money to TSMC, the smartphone industry as a whole still would have been a cash cow for TSMC. Intel sure wasn't going to be in the running as a smartphone SoC designer or as a foundry for somebody else's smartphone SoCs. In an alternative history where Android thoroughly beat out iOS even for high-end/high-margin smartphones, Samsung's foundry business probably would have been a bit better off, but overall it would still be TSMC as the leading foundry, just with Qualcomm as the launch customer for new nodes rather than Apple.
> In that context, the commenter that started this subthread is clearly using "rural" to describe everything that isn't in a big city

That's not the term for rural though. That's small towns and villages, not "rural". These are real words with real meanings. If I started saying the furry 30lb animal in my house that goes "bark" is an elephant it's not the right term to use and I'd welcome you calling out my improper usage.

Most Americans have never really experienced "rural" living.

But I guess you'd prefer for people to just continue to ignorantly use improper terms. Better get off the computer tonight and fly my elephant around the galaxy. Or walk my dog around the block. Words have no meanings anymore, it's all pedantic.
Why do you think that the Indian and Turkish monitors were working for their own countries instead of getting a mercenary bonus from Russia?
I'm not refuting the statement, only pointing out that density is not the only factor.

Unfortunately, these numbers are arbitrary and companies are guessing what performs about like what based on numerous factors. Often wrongly - Samsung's equivalents were so bad Qualcomm pretty much abandoned them, and for good reason. Anyone who used an Exynos or SD888 understands why.

I feel like we should have landed on a better tracking system now, like perf/watt, but here we are.
Very interesting. As a Zig enthusiast I've long suspected that Ada has the ability to express more invariants and types that we will want in Zig (some, like ranges, are planned, last I heard). I'm definitely interested to learn more about Ada.
>> The purpose of this analysis was to illustrate the need to account for the person’s age at death since the risk of Alzheimer’s disease rises with age and therefore Alzheimer’s mortality would naturally be lower in occupations with a lower life expectancy.

Just a nit: This sort of analysis seems lazy, because while it's true that without advanced age one's likelihood of dying from Alzheimers is lower, it's also true that without Alzheimers one's likelihood of dying at advanced age is lower. The dataset used for the non-Alzheimers death rate should be adjusted for what the death rate would be if Alzheimers didn't exist, not the death rate from all other age-related causes in a world where it does exist.
Vanilla RNN in PyTorch
> Boeing on the other hand tries to as tightly a possible map pilot inputs to control surface outputs, mimicking a pure mechanical system (despite being fly-by-wire, like Airbus). But provides force feedback to the pilot via input controls to indicate, but not completely prevent, that the pilot is approaching or about to exceed flight control limits.

Regardless of whether that was ever true, it was no longer so once we had Boeing using an aggressive MCAS to get the 737 MAXes certified.

This alleged dichotomy between manufacturers was addressed in a comment to an Aviation Stack Exchange question [1]: "Airbus philosophy is not that if computers cannot save the aircraft, pilots cannot either. That is nonsense, and internet fodder. Control laws can be changed/downgraded even w/out pulling circuit breakers, though procedure is indeed complicated and involves pushing two buttons. Airbus recommends using appropriate amount of automation and taking control when things don’t go as expected" [Radu094] (unfortunately, the subsequent discussion is no longer available, at least on this site.)

There was a concern that pilots had not been made aware, through their training, that the system might constrain their actions in this situation, leading to the NTSB issuing this recommenation:

Require Airbus operators to expand the angle-of-attack-protection envelope
limitations ground-school training to inform pilots about alpha-protection mode
features while in normal law that can affect the pitch response of the airplane. [2]

[1] https://aviation.stackexchange.com/questions/52147/why-cant-...

[2] https://www.ntsb.gov/investigations/AccidentReports/Reports/... Page 124
They are not solved with compensation...simply put Taiwanese in both the US or Taiwan will put in more hours and work harder regardless of pay. Will compensation get some US workers to work as hard...yes...but not enough for what is needed to expand the AZ plant and keep it running. The numbers in the OP are Taiwan salaries...AZ salaries are upwards of $140-150K (not including bonuses) for someone with <10 years experience. These are not SWE...these are mechanical, electrical and chemical engineers...not in competition with Google, Apple, Meta, etc.
Things I find joyful about computers and the Internet in 2024
Bitspace is now open source
What American company would even attempt this aside from Intel? IBM still does the relevant research, but quit the business of actually using it. They licensed their 2nm process technology research to Japan’s Rapidus if I recall. I cannot think of anyone else in the US that would be willing to take the risk of trying to start a 2nm foundry service.
> Perhaps DMCAs anti tampering provisions are really the issue here.

I think so, yeah. But IMO even copyright as a whole brings more problems than it solves nowadays.
Using Pre-Commit [to lint your code] with StandardRB