skysight-inc/HackerNews huggingface dataset:
"It's unlikely the Romans fully understood the chemistry behind the concrete they created and instead relied upon centuries of trial and error to perfect their mixes."

We don't fully unserstand quantum mechsnics, but have working CPUs.

We dont fully understand even fucking sand.

https://www.nytimes.com/2020/11/09/science/what-makes-sand-s...

https://en.m.wikipedia.org/wiki/List_of_unsolved_problems_in...
I use Dokku (https://dokku.com/). It works with GitHub Actions and it's enough for most use cases.
I'd be interested in hearing how this is handled in various European countries, because "zoning" in the SimCity style doesn't really exist in the UK. We have an explicit permission system: https://www.createstreets.com/the-long-history-of-british-la...

(long, but extremely good, it describes the system as "nationalising development", very much in keeping with the postwar mood).
In addition to what GP said, first and foremost they fought expansionist wars. They had readied 28 000 tanks before WW2. - Think about what that means. Their social progress pales in comparison to the evil they were planning.
Multicore upstreaming wasn't blocked on having fully-fledged effects. If you look at the diff between multicore 5.00 and trunk OCaml, the changes required for fibers is pretty small relative to the multicore GC and making the rest of the runtime thread-safe.

The original plan was to upstream only the multicore GC. This was sped up on the suggestion of the core developers and now 5.0 will bring parallelism and effect handlers (though without syntactic support for the latter).

https://discuss.ocaml.org/t/multicore-ocaml-september-2021-e... has a good explanation of effect handlers, syntax and what will be available in 5.0.
I’d pay a reasonable amount for a headless docker desktop for macOS.

That’s not on offer. Instead we get a client that’s almost as bloated as the Dropbox client.
https://reproducible-builds.org/docs/buy-in/
Being a homogeneous ethnostate does wonders for the social cohesion that allows for a society like Japan to work.
We want to fix GitHub Actions
It looks from the outside that the downside is "small" living spaces. They look small by UK standards so I imagine that to an American it's like living in a closet.
> you can't properly fight global warming without nuclear power

Well, that's technically incorrect - you can still fight it, you just have to renounce some energy use (at worst).
I know nothing about commuting in Finland but is Uusimaa not roughly equivalent to "the economic gravity well of Helsinki"?

Sounds like you two are nit picking over the difference between the I495 loop being the "DC area" vs everything east of Fredricksburg/Front Royal/Fredreick being the "DC area".
> spooky arcane oldhat sysadmin deploy techniques (scp release to prod hosts, run deploy script

I never realised I was using spooky arcane oldhat stuff! I feel wizardly now.

My projects (for small clients and myself) basically use this.

- A "build.sh" script that does a local build of back end and front end

- A "deploy.sh" script that scp's everything to the server (either a digital ocean VPS or an EC2 instance), runs npm install, runs database migrations and restarts with pm2

So running my entire CI pipeline in terminal is: ./build.sh && ./deploy.sh
>I think differences in cost of living and social benefits do not fully explain it, popular as that line of reasoning may be.

They don't, period. At $45,284 the US has the highest household net disposable income per capita in the OECD (<http://www.oecdbetterlifeindex.org/countries/united-states/>), where "disposable income" (<http://stats.oecd.org/glossary/detail.asp?ID=46>) accounts for healthcare and government benefits.
Or, fantasizing here: some opposing nation state wants to disrupt food supply?

Or: very nasty farmer with the same crop hacks your equipment so you and most of his other competitors can't deliver, allowing to gauge prices due to near-monopoly.
Do you mind bots scraping data from your website?
Hello,

As I’m developing my products (the latest one being BotMeNot - https://botmenot.com/ ), I often wonder - do people actually mind data being scraped from their websites?

On the one hand, it’s publicly available information - meaning it’s up for grabs for any visitor. I’ve even read some people saying that if you don’t want information being collected from your website - don’t put it on the website in the first place. Do you agree or is this too harsh of a stance in your opinion?

On the other hand, it’s a very automated process of information gathering. Web scrapers are far more efficient than humans can ever hope to be. Does this make a difference to you?

Also, even if you’re not a website owner, please share your opinion!
> where I walk my daughter to school every day

From first grade onwards kids actually walk to school in groups, without adult supervision (except for the occasional crossing guard). So while you wouldn’t be able to walk with your daughter, I think it actually says even more about the safety and walkability of Japanese neighborhoods that 6 year olds are able to get to and from school safely without adult supervision.
As with everything else, setting up things is not the problem. The problem is maintaning them.
Applying for a job isn't an opportunity, the interview and job offer is.

Unless it is a very specific and rare role that just opened up?
Isn't Java capable of the same thing now that it has algebraic data types with records + sealed classes + pattern matching? Given that Java already has a fine concurrency story, isn't OCaml a hard sell to someone that's not into compiler development to depend on its rich ecosystem?
Eh. A good ORM provides type definitions from model definitions, which is one way I've found ORMs more useful in TS than JS, and I'd more likely use a runtype or a decoder to both validate and type inbound data than roll my own interface for it.

On review of documentation, I was actually pretty off base in grandparent comment. The real use case for Record appears to be when you need a map type whose keys are both explicitly enumerated and defined elsewhere, ie in a union, enum, or otherwise unrelated object type. Rather than duplicating the keys, you can use Record<someUnion, V> or Record<keyof typeof someEnum, V> and only have to make one change to update both.

For the "arbitrary keys, known value types" case I mentioned earlier, an object type with an index signature works fine and may be more legible.
Long History of British Land Use Regulation
They Are Coming for the Environmentalists
> one of the best safety records of any operator, with no serious accidents.

Yeah, they make sure to do the dirty stuff on Pacific atolls, far from prying eyes.
I never quite figured out these tweets:

https://twitter.com/benedictevans/status/656667346837200896?...

I’ve had the Magic Leap demo. It was worth going to Florida for.

https://twitter.com/benedictevans/status/842399282485460992?...

So, a while ago I said that seeing Magic Leap was the coolest thing I'd seen since the iPhone.

It's now much cooler than that.

Any suggestions?
Ok. Your explanation was clearer to me than the one from the article. But still, how does your bootloader know which version to use?

What I did many times in the past is to have two areas in flash: "normal run" and "update". "Normal run" has the running firmware and "update" is an area where the running firmware will use to store a new version.

It goes like this: the new firmware version is flashed to the "update" area in flash, usually with a header and a checksum. Then the bootloader will check for this header/checksum in the "update" area and if valid, will flash the contents of "update" area into "normal run" area. Then the contents of "update" are invalidated (erased) and the bootloader jumps to "normal run" as usual.

If any of the above fails, the firmware will be just re-written. The above is also valid for checking if the new firmware is authorized to run (signed, whatever).

I know some Nordic chips have special registers for this purpose.
Analyzing OpenTelemetry traces using SQL to gain better insights
Yup, ever since I bombed one of the take-home coding interviews they give, I've gotten more recruiters from them.
Yes please don't randomly tap people on the shoulder and ask quick questions.
He's always been notably snuffly.
Devops is a culture, not a verb. Success generally being measured by 4 key metrics:

Lead time to change
Deployment Frequency
Mean time to restore (MTTR)
Change Failure Rate.

Though it often is, I do not believe it should be used interchangeably to refer to a suite of tools designed to enable CI/CD and SDLC Lifecycles.
Happiness Singled Out: Associations Between Singlehood and Life Satisfaction
Verifying the numbers.

M0 money supply in late 2019 was about 3.5 trillion. Today it's about 6.5 trillion. That's not locked in inflation, that's just money sitting in accounts.

M1 from 2017 to late 2019 was around 5 trillion. Maybe a slight increase over those years. Today it's about 20 trillion. So about 400%? That's hyperinflation coming if nothing is done to fix it. Technically this is out of the hands of the government but there are things they can do to fix this.

M2 is where we are locked in. Again late 2019 we're in the 1.5 trillion area. Today we're about 2.1 trillion. That's roughly 40% inflation locked in.

The 40% won't come all in 1 year, but 5% inflation at the moment certainly isn't covering it. 0.25% fed funds rate is also tremendously lacking.
I think you’re talking about Leap Motion, not Magic Leap. I made the same mistake until I dug into the article.
> I think you are not using 'proof' in the way that most people would understand it.

I have corrected many math exams of students over the years.

A "significant" amount of the "proofs" provided by the students in those exams were wrong in one way or another.

Many students continued the exams under the assumption that what they just incorrectly proved, was actually correct.

They had no way to verify whether they proofs were correct or not. No theorem provers were allowed in the exam.

Yet all of them called what they wrote "a proof".

---

This is pretty similar to how Rust works.

Without unsafe, Rust proves your programs sound for you.

Unsafe let's you supply your own soundness proofs for parts of the program that the compiler does not know how to prove (or disprove).

If the proofs are not correct, RUst makes no guarantees.

The claim that because "Rust does not prove these for you, they are not proofs" is unfair.

That's like claiming that any "proof" that has not been proved in a theorem prover does not deserve to be called "a proof".

I respect your way to see this. I just don't see it this way.
I even saw videos that play something entirely different the second time you play it!
New York City to end kids gifted and talented program critics call racist
>Most of the dollars are only a abstract entry in a database, not a piece of paper.

The abstract amount of increase was more than 400%. 40% is paper or real inflation locked in.
I don’t follow your example. Isn’t compile(src, platform) → binary a one way function?

If someone kindly hands the repo author a (binary, platform) pair how would the author ever verify the original src value, other than re-doing the 8 hour compile themselves?
How to monetize a ML based meta-product search? sell vouchers? Unsure
Any suggestions for business models for a meta product search engine thats using machine learning to categorise products? maybe sell vouchers? unsure.. any help appreciated
Svelte was the fastest I went from "oh god here we go, another framework" to "this is freaking amazing, why has this not been built already". To your point about avoiding React because of Facebook connections. I will say for all the shit that Facebook has dumped on this planet, releasing React will probably be remembered as one of the better things they did.
“Glows” for something tampered with or “glowies”for agents of three letter agencies doing the tampering is an imageboard culture term first coined by Terry Davis (1969-2018), the iconic developer of TempleOS, who made the probably fantastical but apparently not metaphorical claim that he could distinguish CIA agents from regular people because CIA agents “glowed in the dark”.

After it’s controversial debut on 4chan, Davis’s unsupported claim of selective unexplained human photoluminescence quickly became a meme in imageboard culture. Since imageboard culture is intersectional with software development culture, the terms have worked their way into defacto terminology among a subset of developers that work on things often thought of as adversarial at times to state interests, encrypted chat and cryptocurrency being among these.

The term has bled out some and finds spotty support among other developers in tangential contact. The future of the term is uncertain, as it’s use remains largely isolated despite being canonical since 2017.
Thomas Leonard did a great talk on our experiences with effects at the OCaml Workshop this year: https://watch.ocaml.org/videos/watch/74ece0a8-380f-4e2a-bef5...

Also you can start playing with effects today using the 4.12+domains branch on https://github.com/ocaml-multicore/ocaml-multicore
If I don't want to wait for 200 hours at a time, yes sure.
You still can extend types with type intersections:

type A = { id: number }

type B = A & { name: string }

const b: B = {
id: 0,
name: 'foo'
}
It ensures two important things.

The first is that it makes sure any maintainers who try to backdoor a package need to document that fact somewhere in the build process. Hence it becomes possible to get more confidence from an audit of a package.

This first goal is done very simply. You rebuild the package, and check that the resulting binary is bit-for-bit identical. With reproducible builds, the same build process should lead to the same binary. So if someone tampered with the source code or the build process, that can be detected if you have reproducible builds.

The second goal is to just have a consistent system which makes debugging easier.

A nice example of the importance of reproducible builds is the app signal, which I mention because of your user-name. We trust the source code of signal, but how are we supposed to be sure that the binaries offered by apt, the google play store, the app store, or whatever source you have for signal, are actually made from the source code? With reproducible builds, one person can rebuild the binary and check to see that the output is the same.
This is much better than telling everyone to build signal from source, because now the lazy people who trust the binaries get to benefit from the skeptical people who build from source.
What is horrible about Docker on a Mac? I've never had a problem with it, and use it regularly as my daily driver OS for development of apps that get deployed as containers.
The argument that US companies have a larger addressable market is valid, but it doesn’t seem particularly convincing. Israel’s domestic market is tiny, and most Israeli start-ups go global from day 1. Probably partly because of that, Israel’s tech salaries are generally above those in the UK, being second only to US salaries. I don’t see anything that prevents, say, a French tech company from going global from day one and unlocking the same value per engineer as Israeli companies do. Many companies based in Cyprus, Estonia or Belarus plan to go global from day one too.

Also, the global market forces (i. e. the demand for engineers from US companies and the overall increased impact per engineer thanks to globalisation) are driving the salaries upwards globally. However, this effect seems to be less pronounced in the EU than it is in other countries. As an example, in Russia in the last several years engineering salaries (while remaining modest in absolute terms compared to UK / US) have become a multiple of those of other white-collar workers, making engineers quite a privileged class. However, in Western Europe, a senior engineer’s salary and a (for example) bank compliance officer’s salary are still within the same range.
Do you mean Anduril?

I have only a passing knowledge of Anduril, thanks for sharing your impression of them. But knowing his track record, I tend to believe Palmer Luckey has the ability to achieve daring innovations. That said, with quantum leap innovation, failure is the more likely outcome.
It's ~500 pages vs. ~2.5k pages...

the former already seems like a big project - the latter sounds impossible. (I'm assuming you're not skimming and actually doing the problem sets)

Is that in rambling prose? Dense math?
Sounds like you are overthinking and/or over engineering it. Unless CI or deploy/rollback functionality IS your product then it does not matter. Until you have got traction for your actual product then deployments can have 100 manual steps that you can write down and follow - it does not matter.

I have no idea what you are building or planning it to be but for my projects I have a single VPS with Hetzner per project running linux and hosting the applications. Deployment is done by a powershell script that copies files from my laptop to the server - that's it.

If I were to think about clusters, cloud instances, load balancers and what not then I would be scared away before having delivered anything of value. Cross that bridge when you get there.
In case anyone else is wondering what the author means by "phone encoding": it's an algorithm trying to map telephone numbers to words (via the letters usually printed on telephone keypads). Would have been better to call it "phone number encoding" IMHO...
It's like advice to "use your judgement"... like how else am I meant to do literally anything? Different people just have different priorities.
Vercel, Porter, Heruko is sort of the simplest way to avoid DevOps. Use their integrated services for data and storage until you get large enough to afford a DevOps team.
Surely the NDAs that were signed when they were previewing the tech to journalists have expired. I'd love to know what it was they were seeing that resulted in so many articles announcing something great was coming.

For me, only the Segway (Ginger) was a bigger disappointment.
It's pretty important to understand the difference between compliance regulation, and effective regulation.

We rarely get effective regulation — most often, it's simply hoops to jump through that new entrants and smaller competitors will be unevenly burdened by the resource cost of complying.

Barriers to entry. Facebook wants social media network regulations, and Amazon (now!, very rich) wants taxes on online purchases — and now cannabis.
Bring smart rebuilds and live updates to your OpenFaaS functions with Tilt
Not a popular opinion, it seems.
> Kevin Lindsay is a Full Stack Web Developer at Surge and an OpenFaaS community member. Whilst building OpenFaaS functions, he wanted to customise his local workflow and decided on Tilt. Learn how Kevin uses Tilt with his functions to get live updates and smart rebuilds of his code.
That doesn’t match what I want to read, but I’m fine with that

Since there is still skepticism from the other commenters too, if the union was lying could someone explain their motives?

Like what benefit does would the union have to provide confidence to the nature of the disruption? Or to cover for their pilots/employees?

Otherwise their statement being the truth is cool too
> Ghost is practically invisible to the targets it observes, with a frontal cross-section smaller than some of the phones I have owned over the years. Stay tuned for true invisibility.

I don't tend to believe people telling something like this being credible.

Especially when they try to pass lobotomised Chinese RC toy heli for "an Apex of Aerospace Engineering," and carefully photoshops all its photos to disguise its Made in China ancestry https://ibb.co/8DT5JMc

And now these guys seem to be heading towards starting an IPO.
Desktop computers with CRT were far less popular in Japan than anywhere else, and compacity is part of the story for the TV/gaming console/computer hybrids that found more traction there than elsewhere. Perfectly usable furniture that lost its purpose are left on the curb for pickup - no space at home to store anything not in production ! The never-used formal dining room found in US homes would look bonkers to a visiting Japanese.
Can anyone identify the diagram in the bottom right of the article's image? The diagram is half covered by a form with some writing on it. The shape of the diagram has piqued my curiosity.
It depends where you’re coming from and where in Japan you choose to live. I moved from a small city with a high cost of living in the US to a small city with a low cost of living in Japan. My home in Japan is twice as big and a quarter of the cost of my former home in the US.
Hate to hijack the thread, but it mentions iOS 9+. Will this work for airPlay from a Mac?
How to Integrate a Live Chat Feature to Your React Application with Chatwoot
It's because the laws of many countries dictate that any map available to their citizens cannot deviate from the official map that highlights the boundaries with other foreign countries. Google Maps (as well as any other private or public company) can be banned if it doesn't comply.
If you can find a way to make money without working for a company that demands all of your time for a small wage, Japan is a great place to live. Having schools etc in walking distance means that all of the local people keep an eye out to make sure each other’s kids are safe. It’s really nice.
This! Plus it includes SSL provisioning, staging environments, background workers etc.

Other competitors like render.com are starting to look like they'll be competitive on features and are way cheaper too.
The problem is the hit to the brand is over decades. You can do a few stupid things without a brand hit so long as you see the mistake and revert back.

Back in their day my Grandparents bought from Montgomery Wards or Sears Robeck (note they used the full name of both stores - odds are if you remember those stores at all is just by part of the name, or perhaps from a history book) They had a lot of stuff from those stores, and it was all good stuff, so they could confidently just buy it if the store sold it. In the final decades of Sears they often didn't have the best and so I had to think about quality (I don't remember Wards).

Amazon always mixed the best stuff with junk, but it was real - now who knows if it is real. Walmart used to be "made in the USA" (or made in Canada for stores in that country), but that policy is gone - they are still a step above dollar store, but only a small step: everyone knows you often get better quality elsewhere. Amazon mixed counterfeit with real not long after starting, while WalMart had "Made in the USA" for decades (made in Canada lasted a little longer).

There is a reason why some companies talk about the value of the brand. Coke needs to be very careful about losing trust (they almost lost it with "new coke" back in the 1980s - which my uncle says it was a way to introduce classic coke with HFCS instead of real sugar without losing the value of the brand - though he isn't in position to know what went on at Coke). My company often says we need to keep making high quality products to protect the value of our brand, we are well aware that we can rest on our brand reputation for a while, but bad quality has caught up to our competitors over decades and out market share shows is.
When I told my boss I was going back to school to support a career change his response was “smart fucking move”.

As a manager always put your people before the company. That’s what good managers do.