skysight-inc/HackerNews huggingface dataset:
> "I can't quit the job. If I say I'm going to quit, I'll be threatened that I will have to pay damages for quitting."

Interestingly, this is actually possible under Japanese law/legal precedent. If an employee, for example, decides to put in notice and then half-ass their job until their departure date, a company could actually sue the employee and win.

Other Japan-labor-law fun fact: if you are a contract worker, it is literally illegal for you to quit prior to your contract expiry date. Hope you like that job you signed onto!

Obligatory disclaimer: IANAL
Who needs cybersecurity risks when you have an incoming republican administration hellbent on gutting regulations to the benefit of industry, a SCOTUS bending over backwards to help them do it (stare decisis? What’s that?), and a HHS secretary nominee who wants to singlehandedly trigger the next pandemic or two.
Ask HN: Is there an HN-like forum for woodworking?
I figured I’d ask the main source of woodworkers, former software engineers and tech worker burnouts. I’m looking for a place where I can expand my knowledge and horizons much like here, but for woodcraft and adjacent things.
An Arm motherboard would be a great thing for one of those third parties to make. I don't think Framework has the resources to take it on right now. It's time for them to do an update to the AMD boards, and they do a new Intel one every year...
I wonder at what point it will be ~as much overhead to pass through a subset of the data with a small yet capable and fast LLM vs. using a crude dot product when doing retrieval
The thing is, I find immutable is safer. Less side effects is more predictable. OO is used often when things can just be functions. I love gamedev, and OO makes a lot of sense there because all of the computations and unsafe code is kind of okay. But for webdev FP makes so much more sense. For SAAS something like elixir enables me to write more reliable / less buggy / better tested code.
Wayfinding Workshops Revisited
They conclude that there's no wireless component to the feature.

This feature is not at all related to wireless activity. The law enforcement document's conclusion that the reboot is due to phones wirelessly communicating with each other is implausible. The older iPhones before iOS 18 likely rebooted due to another reason, such as a software bug.
There has actually been a lot of investment in this area, especially in the last few years.

Cyber is seen as a risk and most municipal utilities and auditors are treating it as such. The private companies… not so much unless there’s a clear financial benefit or mandate.
Understanding the Terraform Check Block Feature (2023)
Yep.

I finally abandoned CorelPHOTO-PAINT 3.0 only when I moved to x64 Vista in 2008.
Ok, then the AI should formally prove that it's "unsolvable" (however you meant it).
Good software development habit: develop good software.
My gf used one. She had a legal right to quit but it was inconvenient for the company. They refused multiple times, they also gaslit with "what about the children we teach, if you leave the school might have to close" etc. etc.

Using the agency means you do a 10 minute phone call and that's it. You don't even have to work your remaining days or talk to the company ever again. The agencies seem to have some legal powers that a normal person doesn't, or at least in reality they get results much faster and aren't allowed to screw around.

What did amuse me is there's a discount if you use them multiple times.
What Makes Rotary Positional Encodings Useful?
So slapdash Unity asset store video games were right all along!
All this has gone a long way to make me feel better about not keeping up my Japanese language skills after university. My youthful deep reverence for Japan and its culture shifted into realpolitik as I learned more and more, and I think another watch of Fear And Trembling is in order…
One thing missing: Safari is like a worse IE, because not only does it not run on any other OS, like IE, but it doesn’t even run on most hardware.
Possible but unlikely given how much demand there is and the pressure to deliver returns to shareholders, however sure it is possible. Right now search is very inefficient, the search space is massive. That is the main problem. You can have many sequences of text that sound plausible, but of them a much smaller number will be logically valid. This is the main challenge. Once we can search efficiently not just in semantically valid space but I suppose what you can call syntactically valid space then we will be able to crack this.
I worked for 3 years on the 757 stabilizer trim system and gearbox. My opinions on this are not those of a layman.

I also worked for a time as an electronics assembly guy (i.e. gnome). One task was to assemble 10 RS-232 electronic cards, all the same. The first one took me 2 hours. The last one 20 minutes.

The first time I took the intake manifold off of my V8 Mustang, it took me 2 hours. The 4th time, 20 minutes.

The same acceleration happens when I assemble IKEA furniture. Or when I helped a friend change 4 brake rotors on his car.

This is not because I invented a more efficient process. It's simply that I knew what to do.

I flat out do not believe there's something about space hardware that makes this not possible.

P.S. The service manager at a car dealer once told me that changing the alternator would cost 2 hours of a mechanic's time. I told him if it took more than 20 minutes the mechanic was incompetent, and proceeded to explain to the manager step-by-step what the exact procedure was for that model car. The result was I got a much better deal :-)
That was a valuable read, thanks.
Where did you get the number of 4x from? It seems different than what I understand, but I don't have any sources handy.

"Modern electronics are more fragile" issue really is not overblown. One of my peers have tested different types of non volatile memory in LEO and the TLC NAND sample gets totally wiped by ionizing radiation within the first week. CPUs, while being mostly logic and less susceptible to low energy events, can still be easily destroyed especially if radiation causes latchup. MMICs and discrete devices have huge features in comparison yes, but the junctions still degrade notably under radiation.

From my opinion as someone working on LEO satellite hardware, it's easy to have opinions about stuff like correctness and reliability because it is not naturally intuitive and usually requires observation of many samples over a long time that it doesn't affect most engineers. However, I've definitely seen a strong correlation between the effort spent on correctness and reliability, and the success of missions.
Yeah, that's why these agencies exist. Use them and you can literally stop showing up to work and still get all your required documents, with no hassle.
Sounds like a problem at google then, now that they’re on their “final years”. Why didn’t you fix it at your “high level”?
The Design Menu Problem
i wouldn't go that far, it's still a very fun language and a rich culture.
That's just a lot of words to dismiss academia as an ivory tower, and to ad hominem leftism as being part of the ivory tower, which is a bad argument.

It is true that the academic clerisy is a problem and a few leftists actually argue that this social class is a block on social progress. However, sometimes their ideas are right, ranging from the sciences to social justice issues, such as racism and sexism and so on.
Most of the improvements made to any language don’t expand the community much. And they don’t have to, because that’s not the point. The point is to improve the language and ecosystem to help make better software.

Generics support is a ubiquitous feature in static programming languages. If it was included on day one in Go, nobody would have blinked an eye. This is only such a controversial topic in Go because the language maintainers made it one.
You can't talk about formally verifiable truthiness until you solve epistemology. This can be achieved formally in mathematics, with known principal limitations. Here strict theorem-proving, Lean-style, is viable.

It can also be achieved informally and in a fragments way in barely-mathematical disciplines, like biology, linguistics, and even history. We have chains of logical conclusions that do not follow strictly, but with various probabilistic limitations, and under modal logic of sorts. Several contradictory chains follow under the different (modal) assumptions / hypotheses, and often both should be considered. This is where probabilistic models like LLMs could work together with formal logic tools and huge databases of facts and observations, being the proverbial astute reader.

In some more relaxed semi-disciplines, like sociology, psychology, or philosophy, we have a hodgepodge of contradictory, poorly defined notions and hand-wavy reasoning (I don't speak about Wittgenstein here, but more about Freud, Foucault, Derrida, etc.) Here, I think, the current crop of LLMs is applicable most directly, with few augmentations. Still a much, much wider window of context might be required to make it actually productive, by the standards of the field.
The "selfishness"/"disrespect" is literally just politeness, the person writing it is often not genuinely thinking this, and the people reading it also know it's bullshit. Journalists should stop directly translating Japanese as the nuance is lost.
Dogs bark before they bite.
Outline looks great. Thanks for creating it. Few questions:

1. Does it support rendering OpenAPI json/yaml?

2. Also it seems like it supports Draw.io via public URL. That's a no go. Can it support draw.io diagrams via attachments?

3. Google drive support is nice. Do you plan on supporting OneDrive as well?
(2021) Discussions at the time

(80 points, 41 comments) https://news.ycombinator.com/item?id=28204808

(118 points, 34 comments) https://news.ycombinator.com/item?id=28440542
Humans are terrible at anything you learn at university and incredibly good at most things you learn at trade school. In absolute terms, mathematics is much easier than laying bricks or cutting hair.

https://en.wikipedia.org/wiki/Moravec%27s_paradox
Highly intelligent people can learn without any real world context (and I'm not one of them). Obviously there are problems with unapplied learning (or learning for learning's sake), but it is certainly possible.
Totally unrelated… I’m really excited to see VR46 as a username, especially since the championship was today
> If Homa becomes widely deployed, I hypothesize that core congestion will cease to exist as a significant networking problem, as long as the core is not systemically overloaded.

Yep. Sure; but, what happens when it becomes overloaded?

> Homa manages congestion from the receiver, not the sender. [...] but the remaining scheduled packets may only be sent in response to grants from the receiver

I hypothesize it will not be a great day when you do become "systemically" overloaded.
> Mr. Carr, 45, was the author of a chapter on the F.C.C. in the conservative Project 2025 planning document,[0] in which he argued that the agency should also regulate the largest tech companies, such as Apple, Meta, Google and Microsoft.

[0] https://static.project2025.org/2025_MandateForLeadership_CHA... PDF
I understand that monitoring and status is reasonable to optimize for cost and this comes with some tradeoffs. Loss of monitoring should not equal a loss if service not unless that monitoring is off line for an extended period.

The actual functional control for ensuring a critical service like water is working should remain as an analog computer with something like pneumatics, or other such technology. These are robust and can continue to operate even when electronic circuits have failed.

Loss of visibility, and loss of service should be separated. This should be the same even for power stations as well.
For those not from the Usenet days, IANAL: I'm not a lawyer.
Check out the contact links in my original post. Please reach out! :)
I rented a Versa about 5-6 years ago and I was surprised how completely "fine" it was.

It was a totally functional vehicle. The radio sounded good enough. The seats were comfy enough. It was a bit of a slug, but it had enough power so that you weren't scared for your life when merging onto a highway.

If those sound like low standards... well, this was not always the case for bargain basement cars...
The approach of making an algebraic function across real numbers that can then be differentiated to allow for training, seems brilliant to me. The end result of this work is a trees of logical gates, which could be pushed into an FPGA for really fast and efficient execution.

I look forward to digging into their results, and attempting to parse them into something that works with a bit level systolic array.
I kinda want to go there and purchase a 10k house in a village and chill. It’s basically a place where you can retire. I know a bunch of white people who have already done this.

Just like how Japan isn’t characterized fully by anime it’s not fully characterized by corporate culture either.
EPA can only regulate what congress empowers them to regulate.

You’re pretty close to the mark on the line of thinking. Boiling down complex issues to pablum and creating problems is a hallmark of modern conservatism. Sorta like I set your house on fire, then launch a campaign attacking the firemen for not putting it out fast enough.
Metals in Wildfire Suppressants
Hmm, people are telling me they got YouTube ads. Maybe I'm a disconnected elite by paying for premium.
> if you were designing a brand new society optimized only to maximize the countries GDP, you'd implement the Japanese model

Of course you'll copy the US's model. In terms of GDP, the US has been doing so much better than the rest of the world in the last several decades.
Hahaha this reads very close to what actually happened
Is that right?

With torque blending, regen braking is blended with friction braking at low speeds (when regen braking is ineffective). Friction braking is always needed to make a full stop.
I'll have to go rewatch that episode; it doesn't sound familiar.

However, I thought sociopathy was pretty well-defined as having a complete lack of empathy.
>I don't want them in my comments

Why not? Are they obscene somehow?
To balance this comment, if you are a full time employee you are super well protected and cannot be fired for any reason other than gross negligence or actively breaking the law.

Managing out a poor performer in Japan is a grinding process that can easily take two years from start to finish
SMHasher/Murmurhash author here - I don't see anything fundamentally wrong with this hash function, it uses basically the same operations as the Murmur family (and a lot of other hashes at this point).

The handling of the "tail" of the key (the last < 32 bytes) is slightly odd (the "if (l & 1) { mix 1 byte of key }" happens before 8-byte chunks and 2-byte chunks), but if it passes SMHasher it should be fine for general use.
$391B over ten years. The total sum of this effort is less than 2% of our GDP. UNCTAD says it'll take 18% of 48 countries GDP (distributed appropriately).
It's also a lot nicer living here, in my experience, than in America in the last 8 years. Sure, there's some bad companies, but that's true everywhere.
I presume you are referring to sekuhara (sexual harassment), pawahara (power harassment) and the like
All your corporate culture, comp
Structure, Interview process etc etc is all so much meta if you can’t deliver. They showed they can’t deliver. Huge let down.
> Why work for a culture that spies on its own citizens, its allies, and engages in global terrorism?

If you're working government info-sec for drinking water systems, it's going to be mostly for municipal water systems, often agencies that are a similar geographic scope as counties or cities but sometimes independent from them. Water districts aren't spying much (unless you have strong feelings about water meters, or lawn watering restrictions), and they rarely take part in acts of violence outside the districts they serve and the sources of their water.

Some of these systems are private companies, and who knows about ethics there, sure.
Shallow and insecure, damn.
The Verge Editor-in-Chief Nilay Patel on Elon Musk and Donald Trump
I'm reading this now and enjoying it.

It's a book that should appeal to a lot of folks here.

There is a combination of reflection on technology and life.

As with most Booker Prize winners it is also extremely well written.
I think many would argue that all deaths by shootings are murder - even if it’s in self defense, and perhaps especially if society grants more power, in the form of immunity, to one ‘side’.

I didn’t want to open that can of worms. Even the inclusive stat I cited is small enough to support the point I wanted to make.
Yet. There will be competition for the Snapdragon series. At least if Arm doesn't shot itself in the foot with lawsuits; if they do, the real action will shift to RISC-V. I'm sure that the Nuvia developers are already working on a RISC-V chip just in case...
W.r.t quitting jobs, the economic inefficiency is that knowledge doesnt diffuse properly. A certain amount of corporate mobility is hugely beneficial. But that's just the tip of the iceberg for bad corporate culture; the social binge drinking, poor sleep, no social life, etc must be bad for productivity... I don't understand how they manage it.
Chromium is, not Chrome

And that's not a bad thing

- open source

- portable

- crossplatform

- efficient

- always up to date
I was about to say the same thing... unless they can do this in vacuum, it's a curiosity, but not something novel.
The main issue for foreigners is that the pay is low. The culture can be bad (especially around tech) but it's not that bad.

If you're really good, as I'd hope the people on here are, you can get into a foreign company and get paid… more than the average native.
As a new diagnose T1D I love this!

I signed up for the free week trial to test out some of the AI features. When I asked it to analyze my week the numbers weren’t very accurate compared to my graphs inside the app.

If you need help troubleshooting I’d be more than happy to help
Beautiful charts - may I ask what library you are using?
RFK isn't going to trigger a pandemic; don't be ridiculous. Pandemics aren't caused by individuals.

But, similar to not having any smoke detectors in your home when something catches fire at night, being in a pandemic with him running the health agency is not going to turn out well for you.
Overestimated: https://news.stanford.edu/stories/2021/03/one-earths-biggest...
The majority of developed countries have subtle versions of this. I was naive about this before I worked outside the US and saw the practical impact. The chains go both ways and have real downsides.

Having seen the perverse incentives this creates and the various ways in which it can be abused, I have come to the conclusion that the American “at-will” employment model is actually a good thing and benefits workers. No one should discount the value of having the power to tell your employer to fuck off at a moment’s notice with no practical repercussions. No one should be required to stay in an abusive relationship a moment longer than they wish to.
Both are.
There are limits to how enormous the battery can be. Over 100Wh and you can't fly with it, so nobody is going to do that. That's less than double the capacity of the current Framework battery.
Y'all never stopped to consider their point.

Let me give you an analogy:

An apple takes 1 year to fall from a tree.

An apple takes 1 seconds to fall from a tree.

An apple falls from a tree.

No difference.
> In fact, standardising the IT approach through the EPA will might increase the risk since any vulnerabilities will be more likely to be standardised. Highly heterogeneous systems are expensive and difficult to cripple.

This is not a safe assumption to make. As an example: Standardized patching programs are very basic and reduce a lot of this risk. Without them (or incentive/budget for them), it’s typical for most private and public orgs to end up with pretty bad security posture.

This is a known failure state that results in many known vulnerabilities that can be trivially exploited, regardless of how heterogeneous these various networks are.

Sadly, from what I’ve seen in the news and in various reports, I don’t think many regional organizations have the funding, expertise, or incentive to run effective security programs.
I just bought a new computer and was curious, so I thought I'd try Windows first, and . . .

No. Chrome is not the new IE. I am constantly pushed to use Edge for everything, to "make it better" for myself. It's actually sorta creepy . . .
Malala: I never imagined women's rights would be lost so easily
I think there's significant financial incentives for big tech given the scarcity of benchmarks for intelligence which are not saturated
People don't want to deal with the fallout of saying that, hence quitting agents
Well I hear it's full of eternal September liberals . . . is there a better reason to avoid it?
Yeah it is definitely an America-centric take. Most of Europe also has strong contract laws. “At-will employment” cuts both ways.
Indeed, and IME, the dreams I have after taking a break from daily THC use are extremely vivid - to the point that I can remember them in detail for days afterwards. I enjoy that a lot.
If it weren't for ITAR, foreign governments would have access to important military technologies, like the PlayStation 2.
link to this prediction? The famous old prediction of Szegedy was IMO gold by 2026 and that one is basically confirmed right? I think 2027/2028 personally is a breakeven bet for superhuman mathematician.
British Museum given its most valuable gift
I think there exist github repos where the code in the book has been translated to python.
The pay is low, but the cost of living is also surprisingly low. It doesn’t take much to get by, so long as you’re not living in the most desirable areas in Tokyo.
Super Weights – How Pruning Them Destroys a LLM's Ability to Generate Text?
What has changed in America the last 8 years?
In the context of a boycott, using/promoting Nitter is at best neutral - you’re not directly engaging with the most hostile parts of the site, but still engaging with it and making it easier for others to do so, unnecessarily promoting the idea of X being a good platform to post on.

I suggest not making any effort to use the site - rather just ask people to primarily share content from X by copying rather than linking. This removes the need to interact with it both for yourself and (more importantly) for others.
what does this even mean? Surely an existing AI could reguritate all of Perelman's arxiv papers if we trained them to do that. Are you trying to make a case that the AI doesn't understand the proof it's giving? Because then I think there's no clear goal-line.
Needs a (2014). This was from almost a decade ago.
Please add [2014].

It's an interesting read, but temporal context is important. The world has been through a lot. Even if we talk only about Japan, there has been

- COVID

- Tokyo 2020 Olympics

- 3 prime ministers leaving their posts

- Shinzo Abe getting shot
the naive keyword search shows 1.6%, the GPT-then-BERT shows 21%, there's a 50% estimate from the literature

confounders abound, of course, but the proposed mechanism and other aspects all make sense