skysight-inc/HackerNews huggingface dataset:
>Perhaps the term “Software Engineer” should be reserved for software developers who have the training/skills to formally prove software correct?

If I remember correctly my university used to offer a "software engineering" degree, which was a real engineering degree (in the sense you could take the professional engineer exam at the end of it) and had a number of common courses with the software development degree - the focus being on system engineering, low-level programming for embedded devices, and so on.
I believe it was a mix of software dev and mechatronics or electrical engineering (?) and was aimed at students who wanted to work in medical, aerospace, and similar safety-critical fields.

But I can't see it listed on the current course offerings and suspect it has been discontinued - I think it was pretty unpopular due to the requisite math courses and generally having the same level of rigour as the other engineering degrees.
>The main one would be near instant settlement.

How is this any different than what PayPal has been offering since 1998?
> I remember vividly opening the door to the pig pen, and it was just a sea of people, 95% just responding to very basic customer queries/doing incredibly basic computation work and costing huge amounts of money...because, of course, there is no cost pressure from "customers"...a parallel that more people understand is US healthcare admin, huge inefficiencies, pension admin is like that

How does blockchain solve this?

There are always people pushing generalized "it will be good for this" statements, yet they can never seem to give concrete examples of where blockchain would be a better solution than the current implementation.
Is there something novel about how it happened, or could the same failure have occurred to a bank in the 1800s?

If it fails and causes normal people to lose their money in the same way as a traditional bank, it should be subject to the same regulations.
I actually think there are other use cases for crypto, but this isn't one (anymore, bitcoin may have been more anonymity-preserving in the past)

Unless you mined the BTC yourself from a VPN that doesn't keep logs, or acquired it directly from someone else who didn't know you, the BTC would be traceable to you now (though it may still require coordination of multiple state-level interests which is typically reserved for very high-interest targets)
and for a lot of programmers math seems to be an unapproachable alien language

is the perception that formal verification is too hard to do in practice because you can't even write down a complete specification for the program

I think the main problem is that it's too formal. Turning something that is really about simple logical deduction into thick abstract maths is sure to dissuade the majority of the people who might find it useful. The elitist gatekeeping attitude that cryptographers tend to have doesn't help either.
ages ago I used http://norvig.com/lispy.html to write lisp in C#. Pretty easy to do the basic mechanics of the language, somewhat more work to do some of the more advanced features, was fun to play around with!
Whatever is in the tutorial. Or whatever my day job needs it for - because that’s the only reason I would learn a new programming language or anything related to programming.
I guess it's depend on your goals and what kind of game you are buidling:

* Funding. Making games is hard and while some of them can be finished using limited resources and free time. Having even small salary is better than living off kebabs and ramen (depend on location). Also artist dont usually work for free.

* Expertise in limiting your creativity. If you actually want to finish and release something then having deadlines and feature cuts is actually a good thing. Yeah most of these 1000 cards on "Ideas" list wont be implemented, but you'll get something done.

* Marketing. Making a good game is not enough nowadays to get any return on time and money invested. Bare minimum to launch on Steam is to collect 10,000 real wishlists before release since otherwise your game wont be features. Wishlists alone is a difficult task that require deep know how in traffic arbitrage since otherwise you'll spend 5x more money. Also making good marketing

* PR. Even in a team of 10 project management and coordination take a lot of effort. Dealing with press, youtubers, streamers and possible future community is a hard work that might require more capacity than you have.

Yes you can be self-funded and everything like marketing and PR can be done in-house, but it's cheaper for publisher since they usually have dedicated people working on each area full-time. It's doable to make it all yourself, but every unique role will distract you from actually making fun game.

Also publisher that invested money into your project will also be motivated to at least get that money back.
Our approach for cryptographic systems is pretty much gradual verification. We target high risk or worrisome systems and verify piece by piece. It works! Formal verification is a relatively expensive technique so it's necessary (in my opinion) to target the places where you can achieve the best bang for buck.

For system reliability at scale, I think that stronger type systems and systematic testing techniques are probably the best choice. Anyway, that puts the system in a much better state if you want to apply formal verification later.
This isn't true at all.

The vast vast majority of homes in the US are owned by single family homeowners. And even if that wasn't true it wouldn't make much of a difference. Investment firms don't purchase homes to let them sit there, they purchase homes to rent them out. To whatever degree they're competing against single family homeowners they're just causing a small percentage of housing to shift from owner occupied to rental housing which should actually lower the cost of rentals.

Especially in NYC and SF the cause is very simple: local government has made it illegal to build enough housing to keep pace with demand.
I guess you know a lot about this ...

... and only very little about actual reality.
I never said blockchain was a solution. I literally just said there are features of cryptocurrencies that are useful.

Send money across the world in minutes without haveing to pay a corporation is a useful feature that could be adopted by the US financial system.

Instant deposit money into any bank account is a useful feature.

PayPal makes billions offering this service, when it could be a feature of the financial system.
I honestly was expecting you to say that the bank transfer was the cheaper, faster, option. It is here in Europe. It involves: login to my bank app, enter name, account and amount, send, and sometimes adding 1 or 2 verification codes depending on the bank. It’s really convenient.
I got an email asking if I would be okay with $2 less after we agreed on an hourly rate over the phone.

I didn’t respond and moved on.
This is further from the truth than the putative "myth" that you are attacking. He did gain some recognition from colleagues in the last 6 months of his life following a review by Albert Aurier at the beginning of 1890, but before that, he was very much cast out from the society of fellow artists in many contexts-- he was mocked for being odd by his classmates in Paris, even Gaugin needed essentially to be bribed to stay at the Yellow House (with his brother footing the bill, as always).
the path you seek is called the TPNW
I work on a deployment tooling team. In 2019/2020 we did a deep dive into Dhall vs. Jsonnet^1 for standardizing config and kubernetes templating across my company (Zendesk). We ended up going with Jsonnet (although some Dhall evangelists in the company have kept the dream alive!), which I think is a more approachable language for many, but Dhall has a lot of cool features and good things going for it.

Jsonnet is far from perfect, but it gets the job done pretty well and has been relatively easy for engineers across the company to pick up.

That said, after a 3+ year journey, the shortfalls in our original design have become more noticeable and we're giving more thought to writing a more robust tool using a more traditional language like Go to solve some of our configuration/deployment and data templating problems.

Cue^2 is something I'm keeping an eye on these days as well.

[1]: https://jsonnet.org/

[2]: https://cuelang.org/
Definitely "in theory". A friend and I reported several portals that were completely unreachable by the public, deep into private property, and/or clearly physically unsafe. "Nah, portal's fine" was always the response form Niantic, if we even got one at all.
It's not about removing each element individually vs. deallocating the whole collection. It's that you have to close each file handle individually.

In C++ you might iterate over the bunch, close each file, and then deallocate the whole thing. In Austral, because of how linear types work, you have to take a linear value out of the collection, destroy it, then, when the collection is empty, you can safely deallocate it.

There doesn't have to be a performance difference between the two because popping an element from a bunch does not imply resizing the bunch or doing any allocations.

In either language, the effectful actions are the same: close n file handles, deallocate the memory for a bunch.
Keep what you have a personal connection to, you'll never be able to get it back. Not because you'll never be able to afford it, but because it won't exist.

I had a C-64 at one point with a disk drive and a bunch of disks. I could buy a C-64 and a drive for it and games for it, but it wouldn't be the same. It wouldn't be the disk drive that broke over and over and that I somehow took apart and fixed without knowing anything about how to fix a disk drive. And it wouldn't be the collection of games that I played in 1982, some of which I remember and some of which I've forgotten, and it wouldn't have some of the first software I ever tried to write, or the games I typed in line by line from magazines. And it wouldn't have the games that I would crack so that my name came up as the author on the startup screen.

Same thing with the Apple ][ my step-dad had that I used to use. He has no idea where it went, he thought I had it. I could buy an Apple ][ but I can't buy my old Apple ][.

I regret losing all of that stuff, computers, books, music, collectibles, any of it that I had a personal connection to. I have no idea what happened to Rosebud.

If it's just stuff you bought as part of a collection and you don't really have a connection to it, then don't worry about it. Sell it for what you can get, take half of the proceeds to spend now, throw the other half in the stock market and if you want to build a collection again 20 years from now you'll have some cash.
Just write recursive descent, except for the infix operator precedence, and then use a tiny stack that you either push to or pop from (shift/reduce, ala LR) based on the relative precedence.

Pretty much all compilers that have fast parsers that also give good error messages are hand-written recursive descent.
People are still mining LTC/BTC/DOGE et al, aren't they?
I though it was the opposite, I guess WhatsApp was doing something weird to detect Vivaldi. Do you know how they solve it?
Who in their right mind would buy Macs for their enterprise and then load Chrome OS on it? The fact that they even mention Macs makes me think this is for more than just enterprise usage. Or... Google doesn't even know who this is for or why they are doing it.
> Social media and mainstream media saw it fit to censor dissenting voices --not those of quacks, we can mostly all agree on minimizing the voices of quacks but shutting down medical professionals and medical academics and so on is very concerning.

No I don't agree with censoring _any_ voices - precisely because of this issue. The decentralized market of ideas will address the "quacks" in the room, as I don't trust any central authority to do that for me.

If a centralized authority wields power in a way that creates negative consequences, you don't give them _more_ power, or just hope that they'll do the right thing.
I very seldom feel inclined to refuse, but I even more seldom feel comfortable on camera. Which is to say in most circumstances I avoid being on camera when I can. I’ve been remote most of my career, nothing changed the last few years to introduce new stressors around this. I just don’t like being on video, or interacting with other people on video. It gives me a firm but unspecific sense of unease is unlikely to be “compelling” to anyone who doesn’t relate… so, huge red flag I guess? Not sure what you think it flags, but I’m glad you’re not requesting meetings with me.
https://icebergcharts.com/i/Python_Syntax
> they are just a loaning you their money while they wait for your money to settle in their bank account

Nope. No loans. You can demand physical settlement on stocks, end of day. Naked shorters (MMs) have to do this from time to time. It’s now more expensive because: idiots. Which suits Wall Street just fine.

> why does PayPal, Square, and other FinTech companies make billions a year offer you to instant deposit money into your bank account

They’re lending you money. No “lol” needed. (Am I misinterpreting this?)

> other apps wouldn't be in business because you could just send the money through your bank for free instead of using Mastercard or Visa

Trusted versus untrusted counterparty. I’m not wiring my hotel because I want AmEx behind me.
Humbug. It's not as if Unions are pure as the driven snow. They are also equally nefarious, perhaps more, considering that many of their heads have been repeatedly caught putting their hands in the till and many extract compulsory dues. The majority of the CA legislature is basically owned by the CTA, to such an extent that representatives literally await instructions on key votes from these people.
Burlington Area Bike Share Vendor (Bolt Mobility) Goes Dark
> Ah yes ye olde 4 hours of storage quotes from the Li(a)zard People. Hope you don't run into one of those 3 week wind lulls or anything.

This is why you have a blend of solar, wind and HVEC transmission lines across windzones!

Rolling blackouts (which is the kind of thing that batteries prevent) average less than 2 hours across the US and Europe, so 4 hours is great.

Did you know that the measured availability rates for non-renewable technologies is as follows:

> Historical estimates of 1−EFORd for competing technologies are 89.7%, 92.0%, and 97.3% for natural gas, coal, and nuclear plants, respectively.[1]

[1] https://www.cell.com/joule/fulltext/S2542-4351(19)30300-9#se...
How would you sell it for a loss?
https://dark.fail/
2.26: is that even legal? For employers to not hire on the basis of being ‘technology critics’ or ‘write against Elon online’?

This interview is one of the scariest things I have heard in a long while now.

At one point, MA says that we have never run out of natural resources. We don’t have water in California. What is he talking about? We can’t grow our food without hiring undocumented immigrants as labourers at poverty wages. Where is the technology? It’s very confusing.
most of the startups that offered me stock options had completely exaggerated valuations, so...

my heart goes to engineers, who joined a startup on bold promises to make it, but never got to IPO, M&A or even worse - were forced to execute options to later sell them at loss
My comment was about " paper fails to acknowledge a FOSS database (once?) underneath it: MySQL/InnoDB (and references it as B-Tree instead)." should have been more clear
Learn a living
All the state have moved on but the Federal government guidance is still stuck in the past.
voted by europeans

nobody voted for mozilla, they hold their position by selling their userbase to google

if that's what you want to trust, be it, trust them

we should have alternatives for the people who do not want to trust such entity doing shady things like political interference in foreign countries

> We live on a shared internet plane

another reason to not trust an entity that is selling its userbase to the most evil company on the internet and is also selling ads to people's browser ;)

your avidity made you loose all sight, you also lack critical thinking
They were cofounded by Usain Bolt and have now ceased operations.
I wonder if a version of Python with types with some way to force programs to be total would be a 'good enough' substitute. JavaScript has `"use strict";`, `# use total` could ban recursion and loops over non-constants. You'd have to work hard to ensure things were really total, e.g. ban assigning functions to variables, but maybe you could make it hard enough to pay off.
Because you know not enough time has been spent on it.
I'm not saying there _aren't_ problems with decision-making or guidance from our public health agencies, but this article uses really different standards for judging positions taken by those agencies than it does for any dissenting position, in a way that ends up being nonsensical.

Sure, let's critically evaluate the guidance put forward by our public health institutions, but quoting a statement from Norway's equivalent institution without the backing evidence doesn't make the US "wrong". If the evidence available on the efficacy of vaccines for kids is so ridiculously wide that it goes from -99% to +370% risk of infection, then surely Norway is _also_ drastically overstating its case when it says (about kids) "previous infection offers as good of protection as the vaccine against reinfection" esp since it _also_ seems like the protective effect of prior infection is both uncertain and changing.

How about flatly declaring that guidance was "wrong" about school closures because minority and poor kids did markedly worse at math? Obviously these decisions are complex trade-offs, and one can't conclude that the choice was "wrong" simply by pointing out one of the costs.

How about quoting a CDC scientist, who cannot possibly have strong evidence when making the prediction "CDC guidance worsened racial equity for generations to come. It failed this generation of children." Generations to come? Show us the data that lets this scientist predict the far future with such confidence.

I get that it's deeply unnerving when these institutions make sweeping recommendations based on less firm data than we would normally demand. But not recommending anything, or not taking decisive action because of the limited data would _also_ have been irresponsible. When schools first closed, we didn't know a lot of things, but it would have been pretty reckless if agencies said "well this is putting a lot of people in the hospital and spreading fast, but we don't have the data to give definitive guidance yet, so you're on your own. Depending on the range of things your communities choose, maybe in a few months we'll have the evidence to say something."
The honest answer probably would be “Now that you left the EU, we thought ‘let’s see what we can get away with now’”. https://en.wikipedia.org/wiki/Interchange_fee#European_Union:

“In March 2015, the European Parliament voted to cap interchange fees to 0.3% for credit cards and to 0.2% for debit cards, which was subsequently enacted under Regulation (EU) 2015/751 with effect from 8 June 2015. The caps apply only to personal cards where there is an intermediary, not to cards issued to businesses or to cards issued by American Express.”
Just after my daughter was born, I tried to use some of my time off to go interview for a new job. Not "recieveing an offer" as such but attempting to realize a couple of standing offers: "if you ever get tired of working there we have a place for you here."

We're in TN and I need to go have face to face meetings with people in New Mexico and Utah. And can't let my boss know: which I failed at.

Drove out and discovered that my boss had heard that I was looking for other employment, he called ahead to the folks I had lined up interviews with (and several others) and spun them a story that had them refuse to meet me and had the police come check out whatever it was they'd heard 3rd or 4th hand.

5,000 mile road trip, there and back again. In 5 days. Didn't find out the whole story for a couple years. At least I got to drive past the VLA radio telescope.
New Zealand as well for the list. I think we can be fairly certain the author is full of shit
I wanted incremental refresh in Postgres as well and found that you can manage your own table to get something close.

Basically you create a regular table in place of a materialised one, only aggregate data newer than what's currently in the table then store the new aggregates in table. Repeat this an interval.

https://github.com/cadbox1/prawn-stack/blob/master/src/backe...

I use this to show page view data aggregated by hour without calculating it on each request using Lambda

https://prawn.cadell.dev/
I don’t think that’s necessary at all, since it’d take away from core Godot development.
I doubt you could invent a better way to launder all that ransomware cyrpto than inventing NFTs.
You wouldn't be wiring your hotel. You would be wiring your hotel's bank.
Most of (traditional) Erlang deploymens are in embedded systems. They have a different threat model.
I used to start with https://www.reddit.com/r/dailyprogrammer/
I would find one that had solutions in my target language but not peak at them until I finished my attempt then compare.
What is the federal government enforcing? Don't even need to be tested before flying into the US anymore.
After 16 Years, Google Is Doing the 1 Thing No Company Should Ever Do
The main difference is not being PayPal: https://hn.algolia.com/?q=paypal+account
It's a fine book and you should not tell people to read it.

It belongs in a first compilers course where you learn about how scanners and parsers work, not just "configure this then call `yylex`". So yeah, it nerds out about finite state machines for a little too long for most audiences. And you know your audience. Your audience wants to write a compiler today, so you are correct not to recommend this book.
> Aren’t some topics just out of bounds for discussion here though?

No, if you look in the site guidelines you'll see that they say "Most" stories on certain themes are off topic, and that word is there intentionally. It allows for exceptions, especially when there's either something interestingly different about a story, or some significant new information to discuss.

https://news.ycombinator.com/newsguidelines.html

For past explanations about how we think about this in terms of political topics, see https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so.... There are lots of links there to where I've explained this in detail. If anyone has a question that I haven't answered there, I'd be happy to take a crack at it.

Stories drawn from the arts, like music and also literature and painting, or more generally from history, archaeology, you name it, are most welcome here as long as they offer something of intellectual curiosity. So if HN commenters are pushing back on a story just because it's about e.g. music, that would be bad. (But if it were a gossipy story about a famous musician, say, that would be different.)

Sex is its own special case in all things, so we would have to talk about that separately.
.... Why was the secret service sending sensitive data in text messages?!
NYC is safer that virtually anywhere else in America when you look at both crime statistics and auto fatalities. Ignoring the 2nd is a major omission.

I don't have stats for Amherst specifically, but here is a comparison between NYC and NH as a whole:

NYC: 5.5 murders per 100k + 1.6 auto fatalities per 100k = 6.1 deaths per 100k

NH: 1.0 murders per 100k + 8.9 auto fatalities per 100k = 9.9 deaths per 100k