skysight-inc/HackerNews huggingface dataset:
Yes. What the slide rule era didn't have was the internet.

EDIT: Here's a 1992 GAO acquisition study[1] on the AN/BSY-1 combat system whose development started in 1980 and was an absolute clusterfuck for the Navy in the decade that followed, as history would have it. I originally learned of this disaster from a former sailor (and now good friend) who participated in sea trials for one of the submarines that this system was installed in. By his account, the submarine had had its hull recut just to get the system installed and routed properly, and it never really worked as intended. The study vaguely alludes to this:

> As a result, the shipbuilder was eventually faced with rip-outs, recutting of hulls, and rerouting of cables.

Electric Boat was the prime and responsible for system integration. They've had their fair share of glorious fuckups to the tune of $82.4MM in late 80s dollars, so it's funny to read the hero part on how they've "helped other countries with their submarine programs".

In the right professional circles, stories like these quite literally abound. Now what's the probability of learning about them without the internet?

[1] https://www.gao.gov/assets/nsiad-92-50.pdf
Google has a reputation of shutting their services down. What if they shut their fonts CDN down or change their URLs without redirects?
Fruit Walls: Urban Farming in the 1600s (2015)
Roblox was pretty interesting in that it has this built in game editor that is very accessible, but is also highly extensible through Lua so the players/builders can ramp up their skills over time.

Add to that it's marketplace. Many users will never using the building tools and just play games made by other players. Not entirely unique, I was doing Unreal mods decades ago, but the way it is all presented and the varying levels of accessibility are still compelling.
A rather interesting point is that on recent iOS versions you actually cannot use MAP_JIT unless your process is sandboxed. (You’re quoting me in the second link, FYI.)
Than a hell of a lot of sites lose their fonts until they update.
Why the OSS framework itself can not be a product? A saas alternative to shopify.
No it seems as though it just creates a bunch of complaining developers. This plays into another blog post that went viral on hacker news about why the interviewing practice is broken. Engineers who can't even engineer a proper interviewing process that doesn't nullify 99% of candidates and companies complain why they can't find good candidates. At least in the aerospace community the older Generation was willing to take on people who didn't know best practices and apprentice them. This is why hiring in software is broken. A bunch of people that don't actually want to be stewards of the craft.
As someone who is part of something like 20 meetings or more every week - my role is very meeting-centric - I'll only say two things.

1) I find it extremely annoying to receive a message 30 seconds after the start of a meeting asking if I can join. Don't do this. Someone might literally be taking their only bathroom or snack break or stretch between 5 hours in a row of meetings.

2) If the rudest thing you can do is waste someone's time, then poorly run meetings trump minor meeting delays by a ratio of about 99:1.
It wasn't a link, it was a prop at a trade show to get you to talk to the folks about their 3D printer that could print metal, that said I would have expected them to create some sort of version of it that was accessible to the web. I've sent off an question to my machinist buddy who was there as well to see if he remembers which company did it.
Any thoughts on Alloy?

I wonder what's preventing formal methods from becoming a more standardized practice when designing complex interconnected systems or microservices.

I mean, I know they are not as "friendly" as writing tests using mocha or pytest, but why can't someone build an npm version of it and use it in CI? Is there a technical challenge to doing that? Perhaps I'm missing something.
Yep, another way to pre-market/pre-signal to investors.

A pretty common story these days:

1. I built an X to solve Unicorn U’s problem.

2. Open source it, give talks on it

3. Leave Unicorn U and start a company based on X

4. ...

5. Profit(???)

Also, debatable whether or not Unicorn U actually needed a freshly built X instead of using existing tools/tech.
Romulus mystery: Experts divided on 'tomb of Rome's founding father'
Neither of these items are true.

As globalization increases, there is ever more increasing demand for SF/Bay real estate, it's becoming ever more elite due to the fixed nature of housing.

'All things being equal' in terms of cost, SF would be the choice 8 times out of 10 for people as a destination. SF boundaries are fixed, housing is limited, Houston is large and has room for new housing; Houston's growth is due to affordability, not because it's aspirational.

'Tourism' isn't a perfect estimation of livable aspiration, I mean, Orlando gets massive numbers of visitors each year, but SF gets a huge number of visitors as well without 'Disneyland/Epcot' to draw them in, even with a relatively small population, it's a top tourist destination in the US. [1]. Houston doesn't get a lot of tourists.

Also, Houston's population growth has slowed dramatically, with new births accounting for more than the ingress population this year.

[1] https://www.worldatlas.com/articles/the-most-visited-cities-...

With worker mobility ever increasing in this world, the demand for the 'nice spots' skyrockets.
My theory is that the nerds on here who spend too much time in the financial fun house become imbibed with the ethos of it. It's really a sad end to a lot of idealistic young hackers who give up on changing the world in order to defend their fancy new stock portfolios. The joke is ultimately on them however, as everyone who trusts wall street eventually gets taken to the cleaners.
What about building a huge skyscraper in New York City and later being told by an undergraduate student that it's got a critical design flaw that could make the whole thing collapse?

That happened.

http://www.slate.com/blogs/the_eye/2014/04/17/the_citicorp_t...
Would you be able to spot the mistake in a system that complex?
You obviously don't understand your position in the economy then. As an engineer you are a comodity. As much as you would like to deny this fact you still are. Why do you think that you make a salary and the companies make hundreds of millions or billions!?!?! The tone of your comment struc me as very arrogant.
> and could be retired

Unlikely. It's still a hugely useful word.

I'd simply say that it's good we are being challenged to think deeper on what it means to be alive.
Engines in the US continue to be measured in horsepower.
The game industry in general has a memory of about 10 years, perhaps 15 years tops. They'll praise innovation and radical differentiation despite the core features being the core features in major games just two decades earlier.

The favorite example is star control 2 versus Mass effect, the latter being a clear spiritual successor and yet somehow managed to be worse in nearly every aspect except graphics, and perhaps combat (which, in general, is fairly bland and uneccesary in both titles... but ME does admittedly have more depth to it's combat)

So yes, this is clearly revolutionary technology.
How far do you think we could get with merely a friction-free method to pay a small fee to read individual articles across a broad range of publications?

I'd be concerned that if pay-per-view articles became the norm, clickbaiting would only intensify. I suppose the countervailing force would be source reputation.
Sometimes things don't have to be absolutely unprecedented to be revolutionary.
Property assessment is a single value, not a room-by-room piecemeal kinda thing.
Ottoman Turkish itself was a particularly interesting language, comprised of Turkish base with abundant Persian and Arabic vocabulary laid on top:

It borrows extensively, in all aspects, from Arabic and Persian and its speakers used the (Perso-Arabic) Ottoman Turkish alphabet for written communications. During the peak of Ottoman power (c. 16th century CE), words of foreign origin in Turkish literature in the Ottoman empire heavily outnumbered native Turkish words, with Arabic and Persian vocabulary accounting for up to 88% of the Ottoman vocabulary in some texts.

It's almost analogous to the story of English and words of Latin or Greek origin. Just as the Arabic words in Ottoman Turkish were originally adopted via Persian (and not directly from Arabic), most of the Latin-origin words in English were adopted via French, Italian, and other European languages.

As in most other Turkic and other foreign languages of Islamic communities, the Arabic borrowings were not originally the result of a direct exposure of Ottoman Turkish to Arabic, a fact that is evidenced by the typically Persian phonological mutation of the words of Arabic origin.

Funnily enough, Ottoman Turkish was also written with an alphabet woefully unsuited to express its sounds and grammar, just like English.

The Ottoman Turkish alphabet is a Turkish form of the Perso-Arabic script. Well suited to writing Arabic and Persian borrowings, it was poorly suited to native Turkish words. When it came to consonants, Arabic has several consonants that do not exist in Turkish, making several Arabic letters superfluous except for Arabic loanwords; conversely, a few letters had to be invented to write letters in Persian and Turkish that Arabic did not have (such as g or p). In the case of vowels, Turkish contains eight different short vowels and no long ones, whereas Arabic (and Persian) have three short and three long vowels; further complicating matters was that in the Arabic script, only long vowels are usually expressed.

- https://en.wikipedia.org/wiki/Ottoman_Turkish_language

- https://en.wikipedia.org/wiki/Foreign_language_influences_in...

- https://en.wikipedia.org/wiki/Ottoman_Turkish_alphabet
I know multiple people who don't have a degree at all and have full-time SWE positions at FAANGs. One is even an engineering manager. This isn't the 2000s.

There's even a sourced 2018 article about current hiring practices trending away from degree requirements for you to peruse:

https://www.cnbc.com/2018/08/16/15-companies-that-no-longer-...

It's not about the degrees (relevant or otherwise).
Nope. Just someone that is willing to use tools in addition to build tools to deal with data.

Most who consider themselves software engineers only want to code and build new, not use existing. Mostly a mindset thing.
Doesn't the term software engineer side from the same ambiguity?
I have always thought of the LambdaRank objective (https://www.microsoft.com/en-us/research/publication/from-ra...) as mapping the scores to a probability distribution over rankings, or as they call it "projections onto the permutahedron".
Which looks similar to Charles Proxy too... https://www.charlesproxy.com

Or Burp Suite. It's hard to design a brand new UI for the same functionality...
I agree, I might not use it, but it's a good example of a real world product that I can learn from. Quite often when I'm stuck on something, I look for OSS to see how they've done that particular thing.
This is a kind of problem where just knowing a lot of shit is a partial inoculation. If you know the population of New York City, and the weight of a Boeing 747, and the number of languages spoken in the world, and random shit like that... you catch these errors all the time.
Which in turn looks suspiciously similar to every browsers request inspector.
They're pretty hard to learn. Formal methods are relatively abstract and the feedback loop is a lot less obvious--in TLA+/PlusCal, you aren't writing instructions, you're defining state spaces and relationships between/across them. Since it's not something you generally use often, it also gets rusty quickly. In a lot of dev jobs, it's just not worth the cost.
huh, I guess I’m going to have to try it because I just realized that I had a hidden assumption that code was definitionally the lightest way to describe a problem
> Knowing the literal, actual algorithm to the point that you could simply open up a terminal and bash it out yourself is rarely important in this era.

Yeah. In a world where Google exists (or even where Knuth exists), what's the value in having algorithms memorized? Knowing the characteristics, sure. I agree that that's important. But the algorithms themselves? Why? I've got better things to do with the memory space.
This was bad when I was in Seoul from 2003-2005 and I couldn't believe how much school was thrown on to kids, like little 5 year old even. The suicide rate was rather high for those who failed their big college entrance exams because they didn't even want to think of life as a failure and cramming even more for another year to try again. I really hope they are able to change things around.
> If the owner of a store wants to open it for 24 hours and he or employees are willing to work, how is that bad for workers rights?

That would be fine, but what is going to happen is that many workers will have to work night shifts unwillingly. It's bad for their physical and mental health.

Suppose you have a town with two stores. First store is willing to open 24 hours. Second store may have to do the same to compensate the loss of customers, and the workers there may have to work night shift even if they don't want to (I actually witnessed it first hand in my neighbourhood).

This is called a negative externality, and it is a well-known defect of free market. Even though you would think that opening a store 24h only impacts you and your customers, it negatively impacts other people.

This is a subjective opinion, but I would argue that the convenience of having 24h stores isn't worth the cost for the workers. Unfortunately, I think that I'm in the minority and that eventually we'll cross that line in Europe too, and it'll be hard to go back.
Keep downvoting. You tools are creating a feedback loop algorithm without writing a line of code and yet you complain about this very thing. Hacker News is dead for constructive debate. Instead of responding you cower behind a downvote. Damn, seriously!?!?
Yeah, and there is a reason for why there are not many "industry-standard libraries for common data-structures" out there in C. I think the reason (or one of the reasons) is that there are zillions of ways to implement them, and "one size does not fit all". I often have to ditch the standard library's implementation of this and that in other languages, too, because they are not fine-tuned enough for my use case.

That said, there are lots and lots of C libraries installed by default on Linux distributions (via the distribution's own package manager!) that are reused by other projects.
Exactly how I felt when I read read this post.
Nobody doing marketplaces etc. should be using anything but off-the-shelf software until $10 million annual revenue.
I have broken at least one of those and I am sure I will break more in the future.
Only thing I've noticed breaking badly are symbol fonts that try to be clever with ligatures, so that e.g. "arrow_right" gets turned into an arrow symbol. Happens a bunch on Google documentation sites.
My career has been making game engines. What I've seen created already by the pre-release users of Dreams is incredible. Just scroll through https://twitter.com/hashtag/MadeInDreams and keep in mind that everything you see was made by random users completely on their PlayStations. No Photoshop. No Maya/Blender. No IDE. Just a joystick.
Side note: Most of us work with our hands. We don't think of it that way. But if you break a finger, you'll find out in a hurry that you work with your hands.
Thanks for offering to help. I'm okay at the moment. I was referring to other users reporting issues that turn out to be ALSA configuration problems (e.g. on the PortAudio mailing list). Sidenote: the fact that someone needs to offer help is part of the issue that I'm pointing at. Once a driver is installed on Windows or Mac OS I've never heard of someone experiencing misconfiguration of the audio subsystem as a whole.

The main ALSA misconfiguration issue I've personally encountered were not related to the audio drivers per-se, but to codec mixer configuration. It was on RK3399 SBCs from FriendlyArm. In that case I had to read the codec data sheet to work out how to set all the ALSA mixer flags and parameters correctly to get audio routing to send a signal to the output jack.
This is also the reason why I couldn’t contribute to an open source project that required being part of Apple Developer Program.
Roblox is a game engine that's quite powerful actually.
Well then,

There's only two hard problems in Computer Science: cache invalidation and naming things... everything else is Policy.
Absolutely agree. At my job, 2 years is still a baby, many people are at 5, 10, or even 15 years; and the company is only about 25 years old!
Second Sock Syndrome
I've said it before but verge is long form and sophisticated tabloid with sensational articles and a deliberate attempt to go against the consensus or prevailing view, only to come across as edgy.
I was thinking about doing something like this a year or two ago, but the cross-domain cookie landscape is making the idea less workable.

Also how much people hate paying for things. I recently went on a short rant about how I've never seen anyone with a paid version of Sublime Text. A lot of its users are professional software engineers should either be able to afford it or work for a company that can, and engineers that should have empathy for someone trying to make money off software
What is the definition of representation? Who is the arbiter of what groups are over and under represented? What does fair representation mean if not equal opportunity?

This is a subject of entire books and hours long debates, but we can skip to the reductio ad absurdum with your line of reasoning: 99% of underwater welders are male.

Trying to 'represent' females in that occupation and push the gender ratio to 50/50 would harm all parties involved and result in a measurable number of deaths. Protected attributes are not uniformly distributed in terms of fit for job, and trying to hit a uniform quota across those attributes is naively idealistic, at best.

A less generous interpretation is that you are actually totally cool with discrimination as long as it's in the 'right direction', whatever that personally means for you. In which case you are exactly the force that you claim to be fighting against.
Seems rude to take up space in the browser that won't automatically expire.
Free android apk downloader latest version for android device usar friendly.
https://appstore24.hatenablog.com/
http://zachiever.over-blog.com/
https://www.techaidebusiness.ga/
how did you find those factories?
I wouldn't say niche. B-trees and B+ trees with doubly linked lists connecting the leaf nodes are used in every major database server for indexes. Hash tables are generally used by optimizers to handle unindexed data in queries. Doesn't make hash tables niche.

> and is already at the point where frequently linearly copying kilobytes of arrays is almost always faster than using a linked list.

That's only half the story. Sure reading arrays in sequential order is fast. What about inserting or deleting items within an array? What are the costs to having to constantly resize arrays? It is very expensive.

At the end of the day, it's about finding the right data structure for the data and your needs.
There's nothing wrong with open sourcing bad code---we do live in a free world after all. But much like they were free to open source it, I'm free to critique it, not use it, and not support it.

It's just striking that the team behind the project calls their code "production-ready" despite it objectively not being true. Furthermore, they have the audacity to try charging for a support contract for what is undeniably going to be buggy code. Albeit I suppose it's still admirable they open sourced their code at all.
>What good reason do you think there is not in spending money to stop poor people from having kids?

Dystopian world where people aren't allowed to have kids, just because they are poor?

Much better is to make sure poors have enough money to raise their kids. Offer them government assistance.
If Tesla is Apple, I would definitely never going to buy an Android car.
Data is a pretty major component of the programmer's craft, whether it's DBs, I/O, or blobs. Most any experienced programmer is a "Data Engineer".
How To Get An 800 Credit Scores In 45 Days For 2020
No you get reassessed on the entire thing.
> There's nothing quite like it on the same scale and as widely used with c/c++

I use my Linux distribution's package manager. It works fine for C, and it is fairly easy, too. You only have to learn to use one package manager; your system's package manager. Plus I am totally fine with "reinventing the wheel" if that wheel is just 2 lines of code. :)

Heck, I would even go out on a limb here and claim that it is on the same scale and as widely used with C as it is with Rust or Python, if not more. A typical Linux distribution contains quite a lot of C libraries alone upon which other projects written in C (or other languages, for that matter) depend. If the program you install via your system's package manager depends on a C library, it will get installed (obviously), and it is often reused by many other programs. Most C developers I know have the tendency to make their program depend on as fewer dependencies as possible. "Zero dependencies" is usually a "feature" or a selling point, and a good one at that, IMO. I prefer this over having a package manager for all programming languages separately, depending on over 300 dependencies of which 80% is just 2-10 lines of code and so forth. Additionally, take for example this: if I want to cargo build two projects that depend on the same crate, it fetches and builds it twice, or at least it did a year ago. I found it to be odd. It is a waste of space and time. There are ways to solve this.
Business for Digital Technology

https://www.techaidebusiness.ga/

http://zachiever.over-blog.com/
The Isaac Peral, the first in a new class of diesel-electric submarines, was nearly completed when engineers discovered the problem. A U.S. Navy contractor in Connecticut, Electric Boat, has signed a deal to help the Spanish Defence Ministry find ways to slim down the 2,200-ton submarine.

In case you were wondering (I was) - the entire sub is 2,200 tons.
Preface, I don’t know TLA+ or Coq, but I get the impression from examples, that it is strongly reminiscent of test-driven-development.

I can see the advantage, but I wonder if there’s potential for writing the proofs in the target language, verifying the logic, then building the code, and verifying the code meets the proofs.

Is this something anyone is looking into? I could imagine a macro in Rust for example that is TLA+, that takes standard test input, verifies the logic, then you feed in the real implementations.
Reading code is the biggest problem.

Good tests, I find, are to give them a simple piece of code with minimal comments. For example, some non-standard special purpose container implementation. Then ask them to explain what the purpose of the code could be as simply and short as possible.

Either
- They'll start literally explaining each line of code without understanding the whole.
- They completely miss the point.
- They at least figure out it's a container of some sorts.
- They'll explain technically what it literally does.
- They'll give you the academic term for the concept it implements.
- They'll actually explain the purpose briefly in simple words.

Those last three are good, in different ways. The better ones will also spot the bugs or performance issues in the code.
Almost no one in SF gets permits unless it's for something big enough that your neighbors will narc on you for. Most houses that are for sale will have some form of unpermitted work done on it.