skysight-inc/HackerNews huggingface dataset:
I remember reading this when it was published, as I was living in a college dorm at the time and strongly considered using this method to produce a master key. I didn't, because I couldn't think of anything I'd want to do with the master key once I had it. But I enjoyed knowing that I could make one if I'd wanted to.
> Someone quoted Trump's opinion, several of us pointed out that it's not particularly novel or unique, and now we are being lectured about how absolutes are wrong?

I'm not talking about Trump's opinion about Germany's dependence on Russia, which, I agree, is "not particularly novel or unique".

Why did you bring up the TPP, even though it's irrelevant to this conversation? It seems to me that it was purely as a criticism of Trump ("glass houses"), as if no positive statement about Trump could ever be allowed to pass without criticism.
I was deployed to CENTCOM in the USAF when these uniforms went into service. Worked closely with Army...If memory serves they were flammable and poorly tested (circa 2006). I can remember the Army units I talked to were having major problems. So if you had the misfortune of getting deployed outside the wire and had to wear those things I could see why you might be a little keyed up 15+ years later.
eBPF Hello, World
You say, "I get what you are saying as to be so small that there isn't a place of bugs to hide." But that's not really what I was saying.

The issue of perfection, bug-freeness, is an interesting one. You could have a specification that was bug-free but implementations that were buggy, or you could have a specification that was itself buggy. Most specification errors won't give you an unimplementable specification; they'll give you a specification that specifies behavior you didn't want.

In the forever-platform context, most such specification errors are unimportant. It doesn't matter if your bitwise operation is accidentally NOR instead of NAND, or if you accidentally specified division to round toward -∞ instead of toward 0, or whatever. As long as your implementation of the forever-platform follows the spec, and you test your forever-platform programs on the implementation and fix them when they break, they'll continue working on future implementations of the spec.

So, with respect to specification complexity, the reason the specification needs to be very short is not so that the specification has no bugs; it's so that the specification has no ambiguities that result in observably different behavior among implementations. (The spec also needs to specify something Turing-complete and reasonably efficient, but those are less difficult.)

A buggy implementation you test on would be a much bigger problem, because it could result in purportedly working "carts" (or "roms" or "programs") that in fact only operate as intended on the buggy implementation. Then programmer-archaeologists would be forced to guess what the behavior of the actual implementation was. In many cases a metacircular interpreter will not help with this: if reading outside the bounds of memory produces 0 or -1, or if division by 0 produces 0 or ∞, or if arithmetic overflow saturates or wraps mod 2³², the metacircular interpreter is likely to inherit this behavior from its host implementation.

Buggy implementations might be detectable by formal methods or by asking for alternative implementations, perhaps in a contest format as in the UM case.

— ⁂ —

Wasm3 looks very appealing in a lot of ways. 64 KiB (?) for code and 10 KiB for RAM is small enough to run on a lot of small platforms! I didn't know Wasm could scale down that small. However, most of things compiled for Wasm will need a lot more than that.

I think getting something like LuaJIT or HotSpot, or even GCC's trampolines for nested functions, working on top of the trampoline approach you suggest for Wasm, is probably technically possible but impractically slow on existing implementations.
If you know how to restore an entire rainforest ecosystem there are a lot of people who would be interested to talk to you! Clearcutting trees doesn't just mean you lost some trees that you just need to then replant. It'll take decades or centuries for that ecosystem to return to something like the current stasis (assuming you plant the right trees, otherwise that time might be never) during which time they'll do a poorer job of soil stabilization, fix less carbon, provide for less biodiversity, and probably other things that I don't know about as just some guy.
The prison industry would be a good start.
My point is that the US in little danger of the state nationalizing industries, but there are real cases of privatizing state functions.
the problem is that the majority of active voters are using real estate as an investment vehicle. convincing an investor in X to ban investment in X is pretty tricky ...
> Even just the git has many releases during Debian Stable...

It just so happens the software you mentioned, git, is in stable backports, so it is updated frequently. Regardless, I've been on Debian stable since 2007, and running "bleeding edge" stuff is trivial, depending on your desired workflow. (For example, I just install Debian testing packages in a schroot.) I used to bounce from distribution to distribution in the old days (Red Hat, Mandrake, Slackware, Gentoo, etc.) but once I found Debian Stable I could concentrate on getting work done.
Interesting take on how habits feel at first as without system 2’s input (From Daniel Kahneman’s thinking fast and slow) habits carve their way into our brains basically seeking the most reward or dopamine. So without constant monitoring of system 2 we end up as entertaining craving systems, seeking patterns to satiate the urge for dopamine. Good habits may be bitter at first but the rewards are reaped in the long run.
Location: Cape Town | South Africa

Remote: Yes

Willing to relocate: For the right role

Technologies: React, Typescript, AWS Lambda, Remix, Postgresql,
Serverless Framework, Nx, Node.js

Résumé/CV: On request

Email: mryopic@gmail.com

Veteran software engineer, that has helped shepherd many products from inception to maturity with a focus on needing to write less code to deliver better products.
Gets a kick out of finishing things that other teams/people abandoned.
Currently wearing the hat of a CTO looking to move to a Staff Engineering role.
Has been working in production with React since late 2013, still remembers `createClass` and `mixins` and wants to tell all the whippersnappers to embrace progress and understand that the framework will forever be evolving.
Loves Typescript and thinks that conditional types with `infer` are like having superpowers.

Ideally I'd like to join a team where I can help elevate IC's with tooling and mentorship whilst focusing on delivering software solutions to strategic business objectives.

[edit] formatting
Here's but one of many papers https://www.jstor.org/stable/29794227.

Dig through google scholar using terms like "confidence" and "recession" to find many more.
Location: Lisbon, Portugal
Remote: Yes

Willing to relocate: Maybe

Technologies: C, C++, Java, JavaScript, Typescript, Python, Lisp, Perl, Golang, SQL, PyTorch, TensorFlow

Resume: https://www.surf-the-edge.com/wp-content/uploads/2022/07/Res...

Email: artur.ventura@gmail.com

LinkedIn: https://www.linkedin.com/in/artur-ventura-48500314/

Github: https://github.com/nurv

I'm a Software Engineer with both backend and frontend experience. My core competence is in Machine Learning working with Natural Language Pipelines.
We sound like casino addicts who voluntarily try to be banned from casinos.

At least we’re only losing time, not money. But we’re still losing health, by staying in bed too much because of social media…
But you got a Linux machine! What you wanted however is a GNU/Linux machine.
To me, it would be a true paradise, if it was feasible to rent a (whole) flat as a foreigner.
> the belief that a very strong denial is somehow evidence of guilt.

That's not the evidence of guilt. They can deny it as often and as strongly as they want. When they instead ban the article in their country, then it's doing the thing they deny they do.
How to Drive a City Bus Through a Pandemic
The bureau considers a recession to have occurred when there has been an ettended substantial, and widespread decline in aggregate economic activity—or, duration, depth, and diffusion. The bureau has not specified the breakpoints which distinguish recessions from milder slowdowns. Its experts depend rather on comparisons of current cyclical trends with what happened during previous business cycles, a process that involves some qualitative judgment and interpretation of cyclical trends.

Seems the NBER was pretty wishy washy about it back then too.

The bureau has not specified the breakpoints which distinguish recessions from milder slowdowns.

If it's been around since the 1920s, why isn't it mentioned in 1974? Maybe the NYT dropped the ball.

The NYT goes on to opine:

A rough translation of the bureau's qualitative, definition of a recession into a quantitative one, that almost anyone can use, might run like this:

In terms of duration—declines in real G.N.P. for 2 consecutive quarters; a decline in industrial production over a six‐month period.

There's your 2 quarters boundaries, back in 1974.

It's pretty obvious that people are trying really hard to not call it a recession for pretty obvious reasons: midterms. To deny the 2 quarter rule of thumb never existed is pretty transparent to most people. Ask yourself this, why would someone want to change the definition on Wikipedia? Why now?

2+2=5

https://en.wikipedia.org/wiki/2_%2B_2_%3D_5
> The userspace is still all closed, however.

What does this mean, can OpenGL not access the hardware without the userspace stuff?
I would live in Singapore full time if it wasn't so fucking hot.

How can they have such prosperity with such a low tax rate and no natural resources?
New smartphone clip-on can detect Zika virus in blood samples
HTB: A Effective Method to Protect Against Breach Attack to HTTPS
I'm suggesting you limit your news to things which are actionable rather than affective.
RStudio, PBC -> Posit PBC. | team lead | full time | remote (US and Canada) | https://rstudio.com/about/job-posting/?gh_jid=5175290003

We’re a public benefit corporation with a mission dedicated to free and open-source software for data science. I lead a growing, engineering team for one of our commercial products. We’re searching for a team lead. You don’t need to know data science to be successful in this role. We need product-minded people to help us build powerful tools for data science teams.

Stack: you’ll primarily be working with Golang, but our technology stack also includes Javascript (Vue), SQLite/PostgreSQL, Docker, Kubernetes, Python, R, Cypress, and Amazon Web Services.

Some of our benefits include:
* health, dental, and vision premiums are covered at 100% (Fertility and gender-affirming healthcare included)

* 50% match in 401k contributions
* generous vacation policy that encourages a minimum of four weeks PTO per year plus 13 paid company holidays.
The page doesn't exist.
You can do this any time. Just look at one point for a minute or two. It doesn't take very long to set in. I discovered this by myself back in primary school (christ, imagine how boring the lessons must have been).

It's somewhat difficult to avoid moving your gaze involuntarily, but it's ok if your eyes saccade just a tiny bit once in a while, the effect will still work.

Another interesting thing is that while everything fades to gray, if you offset your vision by a tiny bit, you'll see this weird emboss effect, where edges of objects are strengthened. It's hard to explain, but it somehow kinda makes sense to me in terms of an image transformation:

inputImage - troxlersFadingOffset = gray

inputImageWithTranslation - troxlersFadingOffset = edgeDetection
I bet Wall Street quant firms don't operate on individual houses for a reason, because it's too illiquid and non-fungible for someone to be a proper market maker.
If they cut out the real estate fees, yeah you can make (save?) More money by selling to them. And they can still turn a profit... A portion of the profit the real estate agents would have made.
Well, "pricing signals" skewing markets is what is supposed to happen, that's also how a healthy market works. As a counterexample, opacity in the labor market has long allowed employers to underpay, because most of their labor force don't realize what the pushy few who demand a raise are getting. I have also been able to get a better price on cars (not this year, but in normal car markets) by making it obvious to the dealer that I was looking at the Kelly Blue Book, so that they didn't think I would be willing to pay more than that. Removing price signals typically provides more power to the larger party, that does more transactions in that market, and thus has a large advantage in knowledge of price.

The issue here wasn't that Opendoor had pricing signals, but rather that they were lying about what those market prices were.
Is this about CPUs or all electronics?

Computer chips are in general a reliable hardware, and top-of-the-line CPUs are in general way more powerful than needed, so there is no need for cutting-edge manufacturing and also an embargo won't halt existing activities.

Simpler/embedded processors seem to be a generic product that can be manufactured by many countries, hindering embargo efforts.

Are chips more critical for a country than e.g. food? because many countries are not nutritionally self-sufficient.
I truly believe that there should be an exchange program between San Francisco and Boston.

Boston needs a proper taqueria, and San Francisco needs a proper pizzeria.

Boston needs proper Thai food, and San Francisco needs proper ice cream.

Etc.
Oh, we'll still live in the same places, it's just the rents will float to as high as they have to be to deplete our disposable income and put us into debt.
Ask HN: What is the best way to get a data dump of HN?
I’m working on a little text indexing side project & I think the content posted to HN would be a good dataset to work on. What is the best way to get a dump of all the url’s That have been submitted to HN? Asking for ideas before firing up a crawler. Are there existing dumps? APIs?
I wanted to see the original magazine print, but surprisingly, I can't find a single download of any of the 1990s issues anywhere. Archive.org's earliest is from 2000 (below). Seems amazing no one has scanned and shared back issues. If anyone has a link, please share!

https://archive.org/details/wired-2001_02/page/n65/mode/2up
Michael Clarkson of "OCaml Programming: Correct + Efficient + Beautiful" [0] fame is currently publishing series of lectures "Software Foundations in Coq" [1] (new ones appearing once a week?) as a companion to [2] which looks as great as OCaml series.

[0] https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b...

[1] https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk...

[2] https://clarksmr.github.io/sf-lectures/textbook/lf/Preface.h...
>>I do not care he offsets it with credits.

Buying carbon offsets is the same as beating your wife every week and then donating money to a battered women's shelter to atone for your sins.
If you could pass the cost onto your customer 100%, then you would already have raised your prices, to collect even more profit. What actually happens is fuzzier... you increase your prices some, you lose some margin, customer purchases drop some, and everybody is generally worse off.

Except your supplier.
FTC Wins Against Companies Who Failed to Deliver COVID PPE In Early Pandemic
> Instead of having 2 teams, an iOS and Android, now we have 3 teams, iOS native, Android native, and RN. And the RN team is split between iOS and Android. All sorts of additional complexity now.

This is exactly where we were going with our RN skunkworks project before it was axed and rewritten fully in native. however in our case we had about 100 native screens on both platforms written in swift/java that upper management did not want to spend time rewriting to RN, so it kind of forced our hand back to native to stay sane.
There's masochists in the world. A lot of people enjoy writing C++.
Saying either he can eat what we eat or have a safe alternative sounds like the exact opposite of eat or go hungry that the thread is about. Your dinner time routine sounds very reasonable. I'm a new parent and our methods are growing into something similar.
“I just watch this TV show because I want to witness how stupid TV can get.”
P and Q are propositions. P takes one parameter and Q takes none. For example P(x) might be "x is odd". The term `P(x)` by itself refers to P(x) being true.

So `∃ x. P(x)` is read as "There exists an x for which P of x is true." or "There exists an x such that P of x is true."

So `((∃ x. P(x)) → Q)` is read as "If there exists an x such that P of x is true, then Q is true."

And `(∀ x. (P(x) → Q))` is read as "For all x, if P(x) is true then Q is true."

The `⇔` indicates that the left hand side is true if and only if the right hand side is true, or in other words that they're equivalent, which you can tell from the descriptions above that they are.
Be more focused at creating products that we'll sunset a year from now.
Average engineer's tenure at major tech companies
That would make sense since this was a news crew from DC and that was one of the closest malls for them to visit.

The Proper People recently did a video in Landmark Mall just days before it was demolished, including a walk through the old Sears which was in very bad shape:

https://www.youtube.com/watch?v=L106fYg9H5M
Open source software can not restrict you from compiling it. You may have to pay to see it but then you are free to redistribute it.

What you are talking about is source available software.
Building websites using Nix Flakes and Zola
Seeing as MacOS build support for AOSP was dropped entirely over a year ago ( https://source.android.com/setup/build/initializing ) I'm going to guess your corner of the world is very not representative.
Low tax rate seems like a contributing factor to prosperity, though?
This makes me think of the camo scenes in RDJ's Sherlock Holmes movie: https://tenor.com/view/sherlock-holmes-robert-downey-jr-chai...
Counter-anecdote from my company, which also ships a RN app on both platforms:

> The RN promoters promised all sorts of benefits about sharing code between platforms and how the performance would be as good as native, and how the UI would look like native, and none of that actually materialized

We've pretty much seen all of this materialize. Our native apps perform great, look great, feel native. There's a tiny bit of platform-specific code around the edges, mostly for integrations with third party libraries. But 90+% of our code is shared, idiomatic React code, and mostly only the team lead ever has to dig beneath that. The whole team for both apps together is around 10 people, and most of them never have to step outside of JS. They also have an easy time making changes in our React web app (and the web team has an easy time making changes in RN) because the skillsets largely overlap.

> RN teams can dynamically push code changes to production apps and we no longer have deterministic, reproducible builds

Ok- but nothing about RN forces you to use the dynamic code push feature. In fact, we just decided as an org that we wanted to reduce our usage of it. This sounds like an organizational issue.

I have to ask, what kind of app were y'all building? I could see this varying widely based on that. Ours is a fairly straightforward finance app
I went on a zero news diet a while back and have recently got back on this diet again. It’s one of the best decisions I’ve made for my productivity.

For those with fear of missing out on current affairs — events are really only worth knowing about if someone has made you aware of it in real life. Otherwise it’s likely not that important.
FTC Consumer Alert headline and link:

FTC and American consumers win two cases against pandemic scammers https://consumer.ftc.gov/consumer-alerts/2022/08/ftc-and-ame...

FTC Press Release headline and link:

Federal Trade Commission Scores Two Victories in Separate Actions Against Companies Who Failed to Deliver COVID Personal Protection Equipment During Early Days of the Pandemic https://www.ftc.gov/news-events/news/press-releases/2022/08/...
Importing CAD files into GIS I always encounter the opposite, especially if the files are from architects. They can’t even close their polygons.
I thought distros were stable until I tried Debian stable... It's stable! I use it everywhere, even my dev machine. Might switch to testing though on the dev machine, 2-3 years of no user software updates is a long time. I know it's unreasonable to ask, but a yearly new stable would be the best of all worlds.
> A typical agent-driven transaction is between 4.5% and 6% of the sale price.

Which is completely ridiculous.
The FTC has two major enforcement mechanisms available to it: The normal administrative one where the agency initiates an administrative proceeding, makes a judgement, then more or less must restart the process with a court case to enforce that judgement. The second mechanism allows it to go directly to a court.

Exactly what the FTC is allowed to ask for is a bit convoluted because the law isn't very clearly written. One reading says they can do the common sense thing by demanding profit from illegal conduct be returned and impose punitive damages - especially on repeat offenders, along with imposing penalties for damage done to the overall market. The other reading says they can only ask for money to reimburse specific consumers for specific damages (so as a consumer your time, aggravation, etc are worth $0; damage to your competitors who were operating fairly don't count). And by the more restrictive reading the direct-to-court route only allows them to seek an injunction, no damages.

Unfortunately SCOTUS recently said the FTC is not allowed to seek anything except an injunction via the direct-to-court path and if that case is any indicator it is likely courts will also prohibit punitive damages and profit disgorgement via the administrative route as well. That severely restricts the ability of the FTC to punish companies.

For example a recent case involved DreamCloud mattresses that claimed they were made in the USA with 100% USA materials... when in fact some of their mattresses were pure imports and others were made in the USA of imported materials. Under the new court rulings the FTC has to show how this harmed the purchasers of the mattresses and can only seek money to compensate those consumers for those damages. The FTC can no longer impose penalties for the obviously flagrant conduct, for the harm they did to the overall marketplace, for the harm to competitors (both those who do and do not manufacture in the USA), etc. Anything that doesn't have a directly measurable monetary value is irrelevant. And if DreamCloud does the same thing again it hardly matters because the FTC is limited to the same remedies.

We need Congress to pass an act cleaning up the FTC's enforcement powers.
There’s a hiring thread explicitly for this:

https://news.ycombinator.com/item?id=32306920
There is a BigQuery dataset: https://console.cloud.google.com/marketplace/details/y-combi...