skysight-inc/HackerNews huggingface dataset:
I'll try the Columbia one. Macintosh Repository doesn't allow those files to be downloaded without signing up for an account, and I'm not all that interested in signing up for yet another account unless I know it's worth it.
Five Corrections to The New York Times
Most residential forced-air systems don't bring in air from outside (intentionally at least). They recirculate the air in the building through the heating/cooling unit (typically a combination updraft furnace with AC evaporator sitting on top).

Modern systems (since late 80s, maybe?) have return air ducts so that you get even heating even if interior doors (e.g. bedroom doors) are closed, but older systems may only have one return vent per floor or even just a single one in the house, and depend on gaps under doors and such for return air circulation.

Bigger commercial forced-air systems have had exterior air intakes and heat exchanger systems for a while, but are pretty new for residential (I've never seen one in the wild myself).
Actually this is the opposite since it's clearly defining the kind of company based on what it actually produces and the industry it serves.

Reductionism is considering tech to only be something about computers and that only a handful of special companies are the only ones who use it. Perhaps you missed my statement about the hospital?
Likewise excessive socializing or exercise would preclude kids from reading or screen time. I don't see your point.
To be clear, I wasn't arguing that never before nor anywhere in the world was there ever issues with sophistry and dishonesty. Plato didn't live in America in the 1990s and 2000s.
Said attack surface is exactly why OpenBSD was so hesitant to buy into the virtualization trend up until they rolled their own hypervisor.
"another 75-year economic event again"

How do we know it's a 75 year event? Because it happened once 75 years before? How often should it happen?

We can't honestly answer how often it's going to or should happen. We can't honestly assess these sort of risk patterns because we don't have models that take enough of the variables into account (or even could?)

Check out Taleb's Black Swan. His big thing is understanding what risks are measurable (very few), which have a bounded/estimable impact (still very few), and which are both unbounded and immeasurable or most of them.
This sounds like a "legitimate interest"[1] and/or "legal obligation"[2], which is a lawful basis for processing personal data under the GDPR, even without explicit consent. Explicit consent only enters into the picture when no other lawful basis for processing personal data exists. You can find a full list of lawful bases at [3].

[1]: https://ico.org.uk/for-organisations/guide-to-data-protectio...

[2]: https://ico.org.uk/for-organisations/guide-to-data-protectio...

[3]: https://ico.org.uk/for-organisations/guide-to-data-protectio...
I want to run this on qemu/kvm Linux. How?
I think you're making a good point, but your tone is unnecessarily strident.
>> stretch the definition of technology to mean pretty much anything

The actual definition[1][2][3] of technology is applied science and knowledge for practical means. Narrowing the scope to fit arbitrary companies seems like the real stretch to me.

1. https://en.wikipedia.org/wiki/Technology

2. https://www.merriam-webster.com/dictionary/technology

3. https://www.open.edu/openlearn/science-maths-technology/engi...
Not at all. Many demos these days are either built on in-house engines which abstract things away (a group of tool devs builds those, while the actual demo devs/designers just work with the tools), or they're built on a premade engine. There are plenty of folks somewhere in-between, too, doing WebGL and the like.
> Farmers already made that choice by sending the message. Whoever wants to attack will be prepared to the point of full domination.

Part of the setup for this particular game is that there is no being prepared to the point of "full domination". There is only first strike, and whoever attacks first wins. This is a huge part of why every player is incredibly careful - there is no surviving, enduring, or being prepared for an attack.

Bear in mind that this discussion is not people advocating national or global policy around guns versus butter. This is people wrapping their heads around a particular model explored in some science fiction works. The model you prefer and advocate can be found in a different set of science fiction works.

Not every model used in every work of literature will produce outcomes preferred by every person. Not every game has an outcome or stable state that everyone likes under the rules of the game. That's fine. That is, after all, why we have different models and explore their consequences.

Though I understand if some reject this and seek for a way for every model to produce their preferred outcome. It's a very human response.
See https://climateandsecurity.org/2018/02/20/emerging-risks-mel...

I've tried to get the article by Jeff Colgan, but MIT Press won't let me. But I think that this is mainly toxic chemical waste. PCBs etc. Not nuclear waste, or at least not high-level waste.
Introducing appmodmap: make the Command key work again on Linux
are you able to share which company? I'm just curious since during my aviation software experience I only heard we were just looking into maybe adding some formal methods approaches.
You can fairly well demonstrate this to yourself with a dark room, a single lamp, and a soccer/basketball.

Put the light at one wall center, the ball in the middle, and walk around the ball. You can see the new, quarter, full, quarter ball lit up just as you can from Earth. (Naturally, the sun is too close in this example, so the shadow lines won’t be as crisp.)
> It's worth to note they now have a downloadable USB image, which is notably dogfed (dogfooded? dogfeeded?) by the Genode developers:
https://genode.org/download/sculpt

I fetched their `sculpt-vc.img` and create qcow out of it to directly boot in qemu.

$ qemu-img convert -f raw -O qcow2 sculpt-vc.img /var/lib/libvirt/images/sculpt-vc.qcow2

The resulting image is not bootable. It fails on boot showing Genode logo and goes into a reboot cycle.

$ file sc*

sculpt-vc.img: DOS/MBR boot sector, extended partition table (last)

sculpt-vc.qcow2: QEMU QCOW2 Image (v3), 24375296 bytes
AP: China grants Ivanka Trump 5 trademarks amid trade talks
> 2read will automatically "pin" your content if you have local node running.

How does 2read detect the local node? My IPFS node runs on different ports. Will it be detected?

Edit:

http://localhost:5001/api/v0/pin/add?arg=${hash}

That would be a no. It does assume port numbers.

Maybe have a failure condition where it then does:

ipfs://localhost/api/v0/pin/add?arg=${hash}
> until you mentioned it here there was no indication in the document that you were aware of it

Good point, and thanks for pointing it out. People can't read my mind and the example might give people the wrong idea. I'll add a note to the example.
people working on new systems and tech are generally better programmers than people hacking away at enterprise spaghetti at a big corp. big corp jobs like that pay better for less work though.
No, that's not a feature built in to the Objective-C runtime (which as you say is not a VM). There is of course support for serializing/deserializing objects in Objective-C Foundation in the form of NSCoding. Disclaimer: I don't know anything about Objective-Smalltalk. I'm speaking only about the (Apple) ObjC runtime itself.
For reference, author Greg Egan also had troubles with getting Google to stop putting up incorrect information on him, including photos of other people named Greg Egan on his profile [1]

[1] http://www.gregegan.net/ESSAYS/GOOGLE/Google.html
There was a tool called Unattended [1], built to install Windows from Linux via PXE booting. I've used it a couple of times, but it left off at Windows XP (and Server 2003), which is a bit too far beyond for me now. Anyway, I think Windows 7, and definitely Windows 10 are easy to boot from USB, which is almost as good as a network boot.

[1] http://unattended.sourceforge.net/advanced.php
No, there is no "tech company".

Amazon is retail, like Walmart has been. Netflix is media production and distribution, like Fox has been. Both have figured out new business models but that doesn't change the business that they're in.
Edited Film Footage from 1890’s Paris Explores Late 19th-Century Life
What does not having access to the server have anything to do with using a fault tolerant solution?
US bought Louisiana (look it up, it was a huge tract of land), Florida, Alaska, etc
Thanks for the feedback. Yes, you are probably right, to focus on the RAD part. Feel free to reach out to me on LinkedIn or GitHub and we can continue the conversation. Would love to chat
I think your approach is reasonable even if I don't see how anyone could possibly have a problem with Damore. Also, I'm perplexed about why you think I have a problem with a non-value-neutral society?
Apple's Not-So-Secret Test for Your New iPhone SE 2
> there is no "Silver Bullet"

Your second paragraph kind of walks back on this, but I think it's still worth linking to this essay:

https://www.hillelwayne.com/post/uncle-bob/

In particular: ...[he's] welcome to keep shouting that tools won’t help, better languages won’t help, better process won’t help, the only thing that’ll help is lots and lots of unit tests. Meanwhile, we’ll continue to struggle with our bugs, curse our model checkers, and make software engineering just a little bit better. We don’t believe in silver bullets.

Again, your second paragraph already kind of agrees with this point, but the brilliant rhetoric in the essay is actually true: "no silver bullets" is a reason for, not against, the use of formal methods (and any other quality assurance mechanism we can get!)

> adding a layer of additional effort like Formal Methods necessarily either (a) increases development time significantly or (b) exponentially increases headcount.

It really depends. Especially in the case of formal methods for specification (as opposed to implementation formal methods), formal methods can save substantial amounts of time and manpower. And there are already a lot of success stories, and not just in safety-critical industries.
I think I am stuck, job is boring me, what now?
Hi HN,

I am a long time user who created an anon account.

I am thirty years old. I recently moved half way across the US for a new job. I work in tech, advertising side. I found that my new job is, well, boring. I find myself giving half efforts, procrastinating, and not interested or invested. Funny thing is, I am paid more, work less, and worry less than in my previous role. I don’t want to let my new team or clients down, but I just can’t get my get past this mental hurdle. Has anyone else experienced this scenario? How did you get past it? Any questions I should ask myself to reasses what I am doing?

I don’t want to be a broken cog in the machine. From a moral perspective, I feel that my current stance is immoral (underperforming due to personal sentiment).

Thanks in advance for any input.

PS. I have taken up plenty of hobbies, but I still lack the “job” motivation I had before.

In my last role, I managed a team of 4+ smart folks and was also an individual contributor. Now am I solely an IC.
Lazy descriptions maybe, but how is this related to gaslighting? The parent comment doesn’t appear to be attempting to manipulate anyone.
One way that they may be getting 3-4x the value is in the long term. Although I've only worked as a programmer, I'd expect that the impact of having one negatively valued programmer is far larger than having one negatively valued chemist or physicist. Legacy code can often be years old and far outlive the jobs of the people who wrote it.
Bit off on the law salaries - big law is pretty locked at ~190k to ~450k for associates base bonus (most firms entirely dependent on year). For partners, many making 1M /year.
Building Google cloud functions in Go
I think its because we saw this big consolidations and growth around the big players. If the big guys happen to saturate the market then we will see a drop in bonuses.

Is this run on big companies might be because of the end of Moores law: this event brought some kind of stasis that benefits big established players, as the big guys are now less afraid of disruption (as it is easier for the upstarts to plan ahead if they know that you have two times the horsepower within a year) Is that right?
Windows has always been easier to install than Linux lol. Also wmi's have existed forever. Most Windows specific knowledge is found closed with enterprise sysadmins and not shared out in the open- who should be blamed is your choice. I blame ms
In my experience growing up the homeschooled kids were usually from very religious families who did not want their kids being social with the general population, so you have a point there. I wonder how a "regular" family that happens to homeschool their kid would differ.
How is that different though? You have to setup the PaaS the first time, the same as you write the YAML file the first time.

After that you push code regardless of destination.
I could have used a different stack than shown to get the Visual Basic like editing.

The runtime environment is NodeJS/Electron, and the same code that runs the website also runs the desktop app

Yes, it also has a built in Sqlite database, so that when you make a database app you can download the entire app, including the the database as a single HTML file that can be emailed/distributed to anyone and run using just a web browser

The Share URL part means that if you build an app within your intranet that you can then send a URL link to a colleague so that they can use the app as well
I can’t edit this anymore: I wrote the post on a whim. Let me know if you have any questions for me.
Almost University of New South Wales (Sydney, Australia) alum, and it's the biggest difference between the Software Engineering course and Comp Sci. There are two mandatory formal methods and more additional ones to take. They are really hard, and mean a lot of the SENG cohort ends up graduating as COMPSCI, since they can't hack it and don't want to repeat formal methods.
Not quote the ones I was referring to - many services just look at DNS and get the A record for every domain then offer reverse lookup - complete lists of domains are purchasable for all major TLDs. The only defense to this would be to host your content on a subdomain.

DNSlytics, DomainTools, W3Advisor and others offer this.
`curl | sh`, take 2:) I hope nobody would be impressed, unless there's some safety features that aren't obvious here.
> buildings were taking in 100% outside air to heat/cool

This hasn't been true since fireplaces stopped being used for heating. Even very basic furnaces, such as the coal-fired one my grandparents had in the 1940s, recirculated the air inside the house. (It was an unforced / gravity "octopus furnace", fired with soft coal, with the house temperature controlled via a damper on the chimney.) But it took its combustion air from inside, and was vented via a chimney to the outside, so the house was constantly at a very small negative pressure, and combined with the natural draftiness of prewar construction there was naturally some fresh air intake. But certainly not 100%!

I think it's the newer high-efficiency furnaces where you start to have very high recirculation ratios and consequent CO2 issues. Because they pull combustion air from outside, there's no incidental exhausting of interior air to outside (which would tend to pull in outside air through gaps in the building envelope). Great for efficiency, though.
Tesla increases Supercharging prices to the point that gas might be cheaper
Yes, it's a bit oversimplified. Thank you for the suggestion. I will test it tomorrow. I hope it can be done without creating settings.
Thank you for sharing the link! And here's from the latest posts (shameless plug).

“Who is Demoscener?” - What I've learned from interviewing them
https://6octaves.blogspot.com/2018/11/who-is-demoscener-what...
Here are two more things lurking behind the corner that can drastically effect the economy:

Inflation
Deflation
Getting a few security errors at the moment. [1]

> Blocked by Content Security Policy

> An error occurred during a connection to github.com.

> Firefox prevented this page from loading in this way because the page has a content security policy that disallows it.

[1] https://mybinder.org/v2/gh/torvalds/linux/master
In Danish there's both "en diæt" (what you eat, permanent) and "på diæt" (on a diet, temporary).

I didn't even think about the fact that that word didn't always have the temporary meaning of the word.
Microsoft, apple and google, Intel are pretty much at the forefront of information technology and/or electronic technology. Tesla is a great auto tech company. What are you talking about?
The 1% considers themselves to be rank and file, and everyone else needs to get bootstraps. Just like they did.

It's a pretty common conception within industries with high levels of pay disparity.
Consistent Badge Count at Scale
I'll disagree, I don't think they're making a good point.

GP implies that formal methods always add time to projects, which is going to be true for:

1) Projects that are building the wrong thing and spend time verifying the wrong thing (failed validation)

2) Projects with people inexperienced in formal methods (most projects today)

The latter is just a matter of experience. Once people get used to thinking about things in a more formal way, they'll get faster. Additionally, they'll learn which parts need to be shown formally and which don't (or which parts they can show via their type system versus those which need to be modeled outside the language and type system, etc.). I don't need to formally prove that my program writes message X to memory block Y, it can be verified by: inspection, tests. I do want to prove that my two processes correctly exchange messages (since the nature of the system is such that we needed to write our own protocol rather than being able to rely on a pre-built and verified/validated one). But here I'm proving the protocol, I still have to test the implementation (unless my language permits me to encode proofs in a straightforward way).

The former is a separate issue from formal methods. It's failed validation efforts which is solved (or mitigated) by something else: lean/agile approaches to project management (versus delaying feedback from customers, and consequently delaying validation activities).
Show HN: Azartiz 2Do App
Are there any other technologies or domains that interest you? Perhaps spend your free time learning more about them and practicing. When you are comfortable you can then try to pivot to a role that uses those.
Let's be honest: programming and another field of expertise are not mutually exclusive, just like how being proficient in English is not exclusive to whatever other job it is you're doing.

The longer people treat it that way the more money they will continue to leave on the table for these Google/Facebook engineers.

You don't have to be a master programmer, just like you don't need to do four years in college studying English, but unlike English, most non-technical professionals still have absolutely no idea how a computer works even though the world revolves around it. If any universal second language is important, it's not English, it'll be a programming language.
Don't be so sure: https://en.wikipedia.org/wiki/Land_reclamation
Scientists: #########################################

"Yeah, let's get 34 males that did not regularly workout and then prove that they can get stronger even with 13 minutes of a good workout routine!

All we need to do is get non-lifters and put the 70 minute group with a shitty lazy routine. That ensures the "year one effect" where everyone gains a lot of strength in the beginning and gives a good advantage to the 13 minutes group!

In the end we'll prove that for a beginner a good yet short workout routine is superior to the lazy yet long one!"

Journalist: #########################################

"That's not going to get any clicks! I'll just say that 'we don't need to exercise for hours a week to look and feel better' based on a research that doesn't even mention 'look and feel better'.

And now we pretend that this also applies to experienced lifters, that's important!"

That's science journalism for you.
You’re going to have 100 things you disagree about in the first year, and you need to be able to talk those through without it being a world war. If he can do that, despite how he is around politics, then he at least checks one box.

If you’re not unified in the type of culture you want to build, that will be debt you have to pay down in the future. Might not bite you till an A round, but will matter some day if successful.

If they’re a straight up liability, which he sounds like he might be, you may end up having a cofounder leave early with a huge chunk of equity, which is always less than ideal. If you can limit his equity stake or increase the vesting cycle you may need to look into that.

Happy to talk more one on one. Email is in my profile.

Best of luck.
It starts with a hard problem like “we need to predict the price of plane tickets”. If you don’t have a hard problem or serious scale, just use whatever works and forget about the backend.
> learning

I'm confused, did you mean lesson?
As others said, those numbers are outdated and low. As a 2018 grad from a non top 10 CS school who had a dozen or so offers (BigCo + startups), I’ve personally seen that the numbers reported on teamblind.com and levels.fyi are very, very accurate.

Crowd sourcing personal data + those from friends, median total comp (base+stock+bonus+refreshers) for a CS undergrad degree was ~160k in high cost of living areas. Competitive students (a few internships at FAANG or similar) get offers in the 180-200k range.
I'm no functional fanatic, but one thing that I enjoy about it is the idea that function calls- and futures- resolve to a value.

The code example where D doesn't get called last because of the missing await grinds my gears something fierce, especially because I missed it the first glance through. This type of bug is much harder to create when you don't constantly rely on side effects everywhere.

That said, the article did a really good job if you're not already familiar with the same concepts from JS land (with the event loop sans visible microtasks, Promise instead of Future, abd web worker instead of Isolate).
Most people don't change the ports, I'm an outlier, don't sweat it.

If you can get it working with the protocol handler (ipfs://) that'd be awesome, but I went to the effort of changing my IPFS settings, so I can go to the effort of changing a setting for your addon.
Shame that The Computer Music Tutorial isn't offered here. I reccomend it to anybody looking for a massive, language-agnostic overview of computer music. It doesn't really offer step by step recipies, but you can flip to a random page, read a blurb, and get inspired to code something up.
Can’t speak for aerospace, but at least for automotive systems, the functional safety standards that dictate what you have to do for the most critical parts of the system are kind of a joke. They amount to a lot of test coverage, lint tooling, and extensive requirements management that manages to still be full of gaping holes. Formal methods are suggested on a “wouldn’t it be nice” level, but nobody thinks they can afford it. There are a lot of reasons for this; inertia, inexperience with formal methods, and the difficulty of the tools comes to mind. None of them are acceptable excuses, especially as we are asked to turn more and more control over to increasingly sophisticated ADAS (eventually autonomy) systems.
Seems odd if you never heard of the Gell Mann amnesia effect.