skysight-inc/HackerNews huggingface dataset:
Notice that the TeX you have installed locally is many conversion steps removed from the WEB source.

Pascal code is extracted from the WEB. Then the Pascal is translated into C. Afterwards, years of development have accumulated on that C source to handle utf-8, modern fonts, PDF output, etc.

Most work nowadays happens on top of LuaTeX that replaces and extends pdfTeX.

There are shockingly few people maintaining that core of the TeX environment.

The source control is mirrored here: https://github.com/TeX-Live/luatex/tree/experimental
It's not Word. Word also doesn't do a compare with pdf, which has to first be converted to Word. Add a few new paragraphs and the comparison fails.
I didn't read the book, but at least in this article/interview they use too many[1] qualitative descriptors like "quite rare", "incredibly vast", "too far", "a lot longer", "long before", "very big", and "almost entirely empty". The quantities involved are not intuitive, you need to run a calculator to figure out the probability.

The Grabby Aliens hypothesis [2] [3] is a recent publication by Robin Hanson (originator of the descriptor "The Great Filter" in the Fermi Paradox) which describes these times and distances mathematically.

In short, either the model and its assumptions are flawed, or we're really, really early as far as intelligent spacefaring alien species go. We're here about 13.8 billion years after the Big Bang, and the solar system about 4.6 billion years old. That's nothing in terms of spacetime! Expanding at 0.1c (note, this all assumes non-faster-than-light travel) we could recolor the spectrum of the Milky Way in 1 million years, Andromeda in 25 million years, and the entire local group in 50 million years. None of those galaxies are 'just too far away'.

[1]: 9, by my count, and only 1 quantitative descriptor - 2.5 billion years.

[2]: https://grabbyaliens.com/

[3]: A nice video summary - https://www.youtube.com/watch?v=LceY7nhi6j4
Was in similar situation, though Australian. I got a letter from an education/certification expertly that said my past experience as dev and education (also had a BA) was equivalent to a BS. Recommend you get an attorney/Peter to help you
Absolutely. And that's just your base. Every year, you're getting more and more that don't vest until this range of time that is so incredibly far out on tech industry scales.

This is what kept me out of Amazon. The over-emphasis on RSUs for compensation was clearly a half-scam designed to avoid paying full salary out to people and to try to squeeze anyone who was on the fence about leaving.
AMD Gets Inside Facebook’s Latest – and Most Powerful – Microserver
I'd be curious about this in practice. Would it make sense to trade off probing in various places as 0s may be spatially correlated?
A lot of people in AI/ML obtain O-1s and the standard isn't as high as the black letter regulations suggest. And it isn't so much about demonstrating great achievement as checking 3 of the O-1 boxes. So, for example, a publication in a second tier journal is really no different from a publication in Nature; they both check the publication box.
It requires a lot of skill to write TeX, but the key is declaring it feature frozen for almost 40 years. I like Knuth's approach to open source: "Here is the code, I wrote it because I needed it, I hope you find it useful. Now, if you don't mind I have things to do. I no longer use email but I read snail mail every six months"
Interestingly, we used to have a special-case aarch64 version, but we dropped it because the C version was faster:
https://gitlab.com/qemu-project/qemu/-/commit/2250d3a293d36e...

(Might or might not still be true on more modern aarch64 hardware...)
But we still chose the labels. We chose what the elevate to the level of a mathematical object. Heck, even the idea of "what is true" is not universal in mathematics. Intuitionist and classical logic have different ideas of what. it means.
Can also see how the app evolved over at https://reddit.com/r/plainorg
Because it's not practical. There are few people in a position to do research on entire software teams.

Also, even when it's possible to research something, external validity (whether it applies in another situation) is often a matter of opinion anyway.

We still need ways to share what we've learned from experience. But I think case studies, telling stories about what we learned in particular situations, are about the best we can do.
Quick question while we are all talking about lisps - any recommendations for a scheme-based web development repl? I’ve tried Racket and their framework, and while the documentation is great the one thing I really miss is that you have to do restarts every time you make an update.
It is a standard. If it is not publically readable it should not be allowed to call itself a standard.

I am for legislation that defines standards as such. If you want a standard to be applied within the jurisdiction the first bar should be that it is publically readable.
Just because it doesn’t have any immediate applications right now doesn’t mean it won’t in the future.
Privacy R Us – Custom Mobile Phones
I don’t think that long range jumbo jets are the target here. I’m also doubtful that batteries will be the dominant power source. I think it’s speculative, but there are certainly DARPA funds/projects available, and they (and FAA) actually do care whether these can fly.
Has anyone heard much about these "Privacy" phones? I've mostly just heard of Pine Phone and Librem Phone before.

It looks like they mostly use GrapheneOS but sometimes CalyxOS if Google apps are needed.
> Even logical splits impede readability, because they require tracking and navigation during reading.

IME, most reading of code has a specific focussed goal for which logical splitting allows not reading lots of irrelevant code you'd have to read if it was a non-abstracted mass.
Also, to be honest, your new account status and username are a little suspect. Do you have some sort of affiliation with Amazon?
I wouldn't short-change AMD by saying their big success during that period was about the 32 vs 64 bit issue, or Itanium. They made the fastest 32-bit x86 chip in the world with the Athlon K7, and they did it four years before they launched their 64-bit chip.
What If Phones Were Designed for Hands?
>241am alphas on beryllium modulated electronically

sounds like a primitive logic gate to me :) One can imagine a self powered logic circuits built along this way.
Cryptocurrency mining is an unprecedented ecological disaster.
I see it as a sort of amateurization/tragedy-of-the-commons that increases the likelihood of injuries.

As a parallel example, from what I can tell, injuries on electric rental scooters haven't really dropped too much, they just stopped being news.
It’s a round number. Such an estimate usually means the person giving it isn’t making a solid prediction.
Yes exactly, you're not really going to learn anything (syntax aside) by picking up the second, unless you needed it for work reasons or whatever there's surely several other paradigmatically different languages that will be more interesting/instructive to learn.
Inspirational project!
That's actually very false. Amazon is not hard to get fired from, but it takes time since there's a mandatory pip process (for performance based firing) like in many tech companies (about 4 months in the US, longer in some European countries; it's often shorter if the candidate agrees to take large severance and leave).
1920x1200 is good enough for me, i don't use anything adobe, don't do graphics, etc

have you looked at cpu performance or cpu-only power efficiency of the XPS 17 vs M1 Pro MacBook 16 for backend work ?
It’s a lot easier to get a job if you have started a popular open source projection. It will at least get you an interview at most companies.
The rocket equation,the difference between momentum change (linear) and energy (quadratic) in Vexhaust of rockets, and the laws of thermodynamics constrain us to low speeds if we actually want to stop anywhere rather than sail by in a few seconds, which doesn't get you much more than good telescopes do, if anything. Slow travel is also a lot safer because of kinetic energy being quadratic in v.

If a vessel can be made that survives travel durations of thousands of years, and the passengers likewise, then they're adapted for life in interstellar space, and won't see much point in expending a lot of energy to go far down a gravity well to a hostile environment. Telescopes are fine for observation. There's plenty of stuff in Kuiper belts. The locals won't be interesting until they get out to their own Kuiper belt anyway.
If you realize where e comes from, which is compounding and what we call an exponential process, being that "the current rate of change is proportional to the present value", then the exponential of a complex number is no different to the exponent of a real number. In the case of one-dimensional real numbers you assign the slope of the function to the current value. The complex case is exactly the same, but if you think instead in the two-dimensional Argand plane and complex algebra, the slope is the tangent to a circle proportional to the angle at that radius (which curve is the one that at every point the slope is equal to its complex value?).

Therefore with the rules of complex arithmetic the tangent provides the "curling" effect in the curvature of a periodic circle, while in the real case you get the common compounding shape of the exponential curve. The relation to sine and cosine is just the projection into direct(real)/quadrature(imaginary) components in either fixed or intrinsic coordinates. Same when you expand the exponential into its complex power series.

BTW, this is actually the essence of infinitesimal transformations in continuous groups and the exponential map, which generalizes this concept to other types of numbers or abstract objects (i.e. Lie group theory).
It depends on how the H-1B petition was filed. I suspect that it was filed not with a request for change of status but with a request for consular notification which means that after you get the waiver you will need to leave the US and apply for an H-1B visa at a US Consulate abroad.
> I’m not sure which additional moving parts it adds

> The only use case that really jumps out is when you don’t want a broker

The broker is exactly the additional moving part I was referring to.

Pubsub over a broker is more complicated than RPC operationally, whether you're already using the broker software elsewhere or not.

Especially when you're looking at the RPC server living inside an erlang VM that's already really good at handling things like load shedding of direct connections.
Not disagreeing. In my view the reliability / noise (ground issue) / pollution etc make an electric sustainer absolutely fantastic. Sailplanes can slow way down as well, so yes, if they crash its a problem, but these are not GENERALLY stall/spin into ground at high speed. Stall speeds can be down in 40kt range or lower.

I don't follow this area closely though so have NO IDEA of US regulatory rules here. But the electric use cases in this general category seem somewhat clear?
Making soft robots got easier with bubble casting invention
CamNote Mobile Book Quote App Is Now Open Source (Made with Flutter)
They are very much equivalent. You can express complex numbers with a 2x2 matrix of real numbers.

R =
1 0
0 1

I =
0 1
-1 0

I and R form a basis that spans something that behaves like a complex plane.

You have the expected identities

R^2 = R

IR = I

I^2 = -R

I^3 = -I

I^4 = R

Transposition is complex conjugate. You can put them into exponentials, e^Ix = cos(x) + I sin(x); everything works as you would expect.
Slashdotted.
If this is supposed to be related to the article, you've completely the mark. The article presents a very nuanced view on the book, including its historical context, the wealth of good advice, but ultimately also the impractical or antithetical parts.

I hadn't heard of Uncle Bob being cancelled before this thread, but I have voiced my reservations about Clean Code to colleagues multiple times before.

You're not doing anyone a favor by painting all criticism of his work like that. It's meaningless polarizing nonsense.
Better idea: ban MADD
They're not asking you to change behavior. The claim was that forcing people to pedal is gatekeeping without an actual reason, which is separate from legal arguments, and saying "the reason is the law" is missing the point/circular.
Also a Swede and I don't think we learned much at all about pre-WW2 Finland. We mainly learned about the Winter and Continuation War and the many Finnish war children that ended up in Sweden [1]. I remember one of them visiting our school to speak about his childhood.

[1] https://en.wikipedia.org/wiki/Finnish_war_children
The few scripts that I've written for personal use generally lack documentation or help commands of any sort; instead, they take all possible straightforward variants I can think of for each command (`--config`, `--config-file`, `--cfg`, `--conf`, etc). They usually convert everything to lowercase before processing, too. It's easier to fail safely on too much/too little input than it is to provide actual help.
I wish I was taught this history when I was taught the math.

My schooling provided next to no historical context when learning mathematics. My math teachers just taught the math, and my history teachers were probably largely unaware of math history.
Clairvoyant Prefetching for Distributed Machine Learning I/O
I think there is a big difference in physically working towards the speeds you mention and just rotating a grip to move (fast).

Having to work for high speeds, even if just rolling down a long hill on a “bare” machine, regardless of material or price, will create a much deeper mental involvement of what you got yourself into.

Thus, unassisted cyclists are (my guess and own experience) much more aware of their surroundings, what lies ahead and thus alert.

Things obviously can go wrong either way…
> 100 million miles

That looks like about 9 light minutes away, so about 18 minute latency?

It might be super epic, but doesn't sound super nice :)
Hi, I'm a Leaf Blower. Everybody Hates Me
> content of their comment is easy (which it is!)

It's not, it has subtle gaps in the sandbox which still allow some of the attacks it's supposedly protecting you from.
"so I filed a Freedom of Information Act request"

Exactly the thing I was thinking after reading just the title. Glad to see he got a response and published it here!

Site is down now, but:

April 2018 – 87,113
April 2019 – 90,454
April 2020 – 98,103
April 2021 – 92,177
A bachelor's degree in a related field based on an evaluation of education and experience can work in the H-1B context but is not acceptable in the TN context where a bachelor's degree is required.
Radiologist Email List – Diagnostic Radiologist Contact Leads
You can now download your radiologists mailing address and convert them to profitable leads and generate more conversions
Okay the mental image of this is pretty funny, I will admit.
https://archive.ph/YlUH5
There is always someone coming into the thread to say "that's not been my experience". Frankly, the company is so large, how could you know? When you get a situation like the article describes, you could be sitting a desk over from the guy and still never know. I've seen dozens of stories just like this of toxic behavior at Amazon. It makes it sound like they have their flagship projects that they use to attract developers and a long tail of drudge work they need to attrit through developers to get done.
Both are certainly bold choices.
I don't think it even matters if cops are armed or not; by the time they get to my home the damage is done. Security should start at the individual (home/family) and community level. The cost of being a victim is not redistributed to society. Society won't have to deal with increasing insurance rates, potential costs for repairs or damage, trauma, loss of life, etc.
> Your complicated beachfront house costs everyone else in terms of compute costs

Why? I don't care if other people render my house or not.
Neat! The option called "Bloom" looked especially interesting when zoomed out.
I mean, we'll see. If you're right and this really was just a technical mistake, more power to you. But to me, the change looks pretty deliberate. And if it was, I see no reason why Microsoft would want to fix it - at least without significant external pressure.
Site is down but someone archived it: https://archive.md/mYnjF
LaTeX is great for typesetting documents; easy to work with autonumbering, even nested and subnested lists. There's even a Koma-script package for legal documents (jura). But Word does a better job of redlining. And it is the standard, though there are a few offices that still use Wordperfect for the "Reveal Codes" feature. If your output is paper or a paper substitute like pdf, you can use any word processor. But if you need to collaborate, you need a 100% compatible Word processor. On Linux, it's Softmaker Gmbh's Textmaker. 100% compatible and a lot cheaper than Word. Odd that no one has mentioned it.
Most of the discussion is about the rather secondary topic of function length, but the actual article is much more indepth. I love the dissection of the render method (which is in fact, only 4 lines long):

So... imagine that someone enters a kitchen, because they want to show you how to make a cup of coffee. As you watch carefully, they flick a switch on the wall. The switch looks like a light switch, but none of the lights in the kitchen turn on or off. Next, they open a cabinet and take down a mug, set it on the worktop, and then tap it twice with a teaspoon. They wait for thirty seconds, and finally they reach behind the refrigerator, where you can't see, and pull out a different mug, this one full of fresh coffee.

Worth a read for the instructive value of the critique - whether you agree with either point of view, much is to be learned in the "space" between different viewpoints.
That's not the law in the UK. A throttle electric bike is still an electric bike, as long as it has pedals that can propel it:

https://www.gov.uk/electric-bike-rules
You need Q for certain facilities as well, SWIM had one and it was just to work in the building, and there wasn't anything going on there of particular interest
E-bikes on singletrack are incredibly destructive. So are horses, believe it or not. The analog MTBers I know take very good care of their trails.
In my experience, TDD adherents tend to work in languages with no type systems (JS, Ruby, Python) or languages with types of insufficient expressivity to enforce invariants in the code without significant effort (Java). Unit tests are ultimately failings of your type system, a sufficiently advanced type system with dependent types would make them entirely redundant IMO. Integration tests are still useful as a compiler can hardly be expected to check the validity of cross-application-boundary concerns (unless?).

That said, I think TDD is a cargo cult. I think a better approach is to determine on a case-by-case basis if a test is useful for whatever you're working on and developing a sense for that is part of becoming a better software developer. Things like coverage metrics completely obliterate this nuance and lead to some of the most obvious, ridiculous tests I've ever seen.
It is. They say they add some indexing on they own, but results are all the same.
It's a smoke signal.
EdgeDB Release Candidate 2
A lot of people at the national labs have Q clearances, even if they never do nuclear stuff. As the article somewhat mentions, it's roughly 'Q=TS+nukes'. So if you need to do any TS stuff at a national lab, you're going to get a Q clearance.
If a car uses electric power steering, your resistance in the wheel will be different from a vehicle that has hydraulic power steering, or even older cars without power steering.

The designs for each of these three are different and will - while make the resistance heavier when un-powered, are not quite the same between each other.
There is not problem with the "culture of work" if by that you're implying people there are lazy and don't work as hard as in richer countries. The fact is that "hard work" or productivity is entirely uncorrelated with compensation. Simply the compensation of labour in a market is the equilibrium value, which because of the power imbalance between worker and owner means the least value the owner can get away with paying (or minimum wage), and in Portugal owners can get away with paying less than in Germany, and in Serbia less than Portugal, and in Bangladesh less than Serbia. Nothing to do with intrinsic work culture.

EDIT: Also the Euro is a disaster for countries like Portugal. To be clear: joining the EU was excellent (Portugal is a totally different country now than it was before we joined), but joining the Euro was disastrous. It bound together countries like Portugal and Germany to the same monetary policy, even though they had/have completely opposite interests. Well guess who had it their way x) Despite this massive crippling of sovereignty, which reared its ugly head when the time came to handle the European crisis in 2011, Portugal reaped no benefit from the monetary union. Closer integration or common fiscal policy never happened, and Portugal was stuck in a monetary union without a political union (the EU is barely a democracy, but that's a whole nother can of worms). Germany meanwhile benefits fabulously from its position as the foremost surplus country in Europe, in monetary union with comparatively weak economies.
If you're using Linux, you don't have to wait for Microsoft to put out Office for Linux. There is already a 100% compatible native Linux suite made by Softmaker in Germany and called Textmaker (the Word program) and Softmaker Office for the suite. (Not affiliated with the company, just a user).
A person would be wise to not admit working for a company when their comments go against company policy on public comments.
I'd be more curious about Top Secret - Full Scope.
> a <$1000 road bike with drop bars and 25-32mm tires can hit 30-40mph in the hands of novice/moderately experienced riders

A novice rider will have a very hard time hitting 65km/h without going downhill or a strong back wind, even on a light bike. It's a challenge even for trained cyclists. So you won't see this on a city's streets but rather on open road.

But stopping fast and safe at those speeds is even harder than reaching them because you can't take your time to do it. A bike that can make it easy to reach them shouldn't share a lane with much slower and unpredictable participants, like regular lanes on sidewalks.