skysight-inc/HackerNews huggingface dataset:
I can see how it would be comforting to have a villain, but I don't think that is true. Companies deeply linked to the petroleum industry argued against action (as, of course, would be expected). But the basic pitch of the environmentalists has never been acceptable. The idea that we should curtail the comfort of the present population in a speculative attempt to do something in 50 years is unpopular. And in total seriousness, it is rare I've heard an articulation of what that something is vs the alternative. The options I heard were we scale back our lifestyle so our children can scale back theirs, with the alternative of we don't scale back our lifestyle and then our children scale back theirs.

The environmentalist movement has avoided:

* Pushing overpopulation into the political conversation (we've roughly doubled the global population since 50 years ago. The new arrivals are largely people in dire need of better energy access). We have a lot more talks about banning coal than pushing for a 1 child policy in Africa.

* Nuclear energy. Pointing out the obvious, the most successful climate change initiative in the past 50 years has been the energy grid in France. Pro-climate-action has generally correlated with anti-nuclear.

* Talking seriously about the costs or implementation strategy. As I recall, people were saying solar was a cheap option when Germany launched their Energiewende. They now have the most expensive power in Europe.

The best argument historically for ignoring climate change has been that its supporters don't seem to be taking it seriously; they ignored a bunch of contributing factors or picked solutions based on political beliefs rather than trying to support cheap clean energy for everyone. GM and Ford are not responsible for that.
Wayback Machine .NET Rest Client
One huge selling point of Rust Webdev is the Diesel ORM. It's legitimately amazing. Probably the best I've seen other than active record, which is obviously written in a dynamic language.
I have some insight into this.

My schooling was in eastern-ish europe growing up in a low middle class environment. My girlfriend grew up in SFBA and went to high school in Palo Alto.

The difference in perspective is astounding. Even simple things like what you consider normal.

Like, I grew up knowing that The Boss is someone you hate and despise who makes your life miserable. Becoming the boss is villified. Rich people are bad. Everyone is out to screw you. That includes rich people, poor people, the government, the police. Everyone. It’s you against the world. The forgotten class everyone exploits and nobody helps. High taxes, no help.

Oh and teachers are all dumb. Otherwise they wouldn’t be teachers.

By comparison the normal for my girlfriend is “You invent google street view or cofound the next ebay, obviously. That’s just basics”. At the least you do well in school, get great grades, and climb a corporate hiwrarchy to near top. That’s the failure mode if nothing else works.

Learning the US corporate/business culture has been imo my biggest challenge moving here.
Generally there is a disproportionate dropoff among minority and female candidates at every stage of the career pipeline, not just in the pre-interview parts.
English and C learned here through ioquake3 forks. :)
What an extraordinary comment. You seem to be missing various points:

- Mathematics is a very large field.

- For beginners, it is necessary to have wiser people than yourself put up some signposts.

I found the comment you're referring to very illuminating. I'm not naively assuming the author's view is the only one, or "correct", but s/he certainly like they have some familiarity with graduate/research level mathematics in relevant areas. So it was very helpful to see, at least from the point of view of some mathematicians, that this is not considered an important area.

I was left wondering whether the author of that comment understood the importance of this stuff in computer science (i.e. in academic approaches to programming languages, might be the right term, I don't know, I'm pretty ignorant of these areas myself), or whether they were only able to criticize it from the point of view of pure mathematics.
I think you are using black and white thinking: both deserve praise.

Delivering a CPU on a new node process is not a trivial achievement, along with the significant design changes required to achieve the potential gains of the node. Neither is Apple’s business ability to lock in x months of exclusive use of that node. Apple have done an amazing job here, hand in hand with TSMC.
Would be interesting to see what PD profile it's negotiating here that is different. I wouldn't be surprised if Anker et al. come out with MagSafe 15W compatible chargers shortly. Seems like it might be a 9V 1.8A profile or something silly?

I'm surprised some of these tech YouTubers that do this stuff don't have a proper USB-PD profile analyzer. Something like this could find all the secrets necessary for Anker to recreate a functional brick: https://www.totalphase.com/products/usb-power-delivery-analy...
Listener – One-Tap Podcast Notetaking
Amazon did this because I bought a bunch of gift cards. They permanently blocked my account, I lost all my audible credits and Kindle books.

No appeal, nothing.

What can I do?
> president

> she

> her

Cope.
> But WHO is actually feeling that sensation?

This reminds me of a story from Jon Bentley's Programming Pearls. An early multiuser computer system did fine with a small number of users, but choked when one more was added, above a certain threshold. "No problem", said some wag "just find where that threshold is stored and increase it." The joke, of course, is that the number didn't exist as an explicitly-realized value; it emerged as a phenomenon out of how the system as a whole ran.

When you are in pain, your conscious mind - an emergent phenomenon from the physical processes of your body (primarily the brain), or so I suspect - observes itself. There is nothing mysterious in systems observing themselves; that's what a computer doing when it raises and responds to a segfault, for example.
> If there is a critical software malfunction in a single gas stove that could result in it filling a house in the middle of a night with gas and there are no other safety precautions then maybe four people could die.

You've made an assumption about the failure pattern. Perhaps thousands of stoves could fail at once, all encountering the same defect. Something like this could happen if the software fails after 10,000 hours of continuous operation, say. (A bug of this sort once resulted in the deaths of 28 US soldiers, when a missile defence system failed. [0])

> The real problem in these cases is internet-connectivity + software-control

I agree this is a very obvious and severe problem, and it's rather shocking that it's even legal to do this. Avionics software is famously strictly regulated, but the software in road vehicles isn't.

> Without internet-connectivity, your primary failure mode is random chance

It depends. There could be a failure after some number of hours of continuous operation. Perhaps a particular stretch of road could be dangerously mishandled by all self-driving cars of a certain model. There's also a risk that deliberately crafted fake road signs could cause the system to drive dangerously, opening the door to targeted attacks.

> once you add in internet-connectivity, you now introduce an easy way to induce simultaneous failure

That's a good point. It's similar to how we place enormous trust in Windows Update, except we're talking about a life-and-death system.

> They should not be releasing internet-connected gas stoves unless every engineer on their team is comfortable that their security would be good enough to connect the US nuclear arsenal to the internet since the worst-case consequences are equally bad.

Well, no, they plainly aren't, but I do agree with your general point.

I wonder if we'll see any kind of general software regulation (that is, not specific to a domain such as aviation) to cover this sort of recklessness. Currently, the company behind such a product would only suffer after the fact, were something to go badly wrong.

[0] https://www-users.math.umn.edu/~arnold/disasters/patriot.htm...
the grid?

you're thinking of this?: https://news.ycombinator.com/item?id=24911509
There's a reflexive tendency for people to assume that a problem manifests at whatever point it is measured. It's an easy assumption to make.

However, estimating malnutrition by measuring the heights of adults is not a great way to get a read on current food supplies.
Ybjk
Gahaha, this has to be a joke.
Man, Apple doesn't even need a marketing department when they got fans willing to die on a hill for them.

I refuse to believe that you are so obtuse to think that your device cost went down. Apple keeps increasing the price each year regardless of circumstances, their cost went down, not yours.

What we should congratulate them for is to be able to skimp out on users, sell them a story about eco-friendly awareness and make it out like a bandit.
I read what the author has written, and if I’m still interested, I look at the code itself. I try to answer, in my own mind, questions such as these:

Does the author clearly explain his or her motivation, goals, and plans for the software? Are these reasonable, in view of the complexity of the problem, the state of the art, and the personnel and other resources likely to be available?

If special expertise is required, does the author have it? Is the author familiar with others’ relevant prior work, such as existing software, industry standards, and notable books and papers? Is terminology, of the problem domain and of computing in general, used correctly?

Are the basic design decisions reasonable, and if unconventional, adequately justified? Is the target platform relevant to users? Is the implementation language widely used, especially suited to the problem domain, or both? Are existing libraries and platform facilities used, and if not, are there good explanations for what is being re-implemented and why?

How much progress has actually been made, and how does this compare with the author’s own assessment of that progress? Does the code do what is claimed? Are there any major parts that are missing? Are the algorithms and data structures suitable? Does the code follow a consistent style? Are there comments? Are errors and exceptions handled?
1. ZFC does everything you need it to do. It's a really hard set of axioms for me to justify compared to MLTT, and it's important to me how "obvious" some set of axioms is. MLTT also has the advantage that it's very easy to use without encoding everything into well-founded, untyped trees, which is nice.

2. What are these "substantive problems"? I don't have any experience in foundations, so I'm genuinely curious.

3. Sure, intuitionistic mathematics has very little popularity, but a lot of that popularity is among computer scientists, for fairly obvious reasons.

4. The HoTT book and the nLab are two of the most out-in-the-open developments in math I've seen --- the HoTT book was even written in a public GitHub repo iirc. Naturally that has a lot of appeal for HN. If you have anything similar (blogs, wikis, etc.) for mainstream foundations, I'd love to read them.

5. Yeah, personally, I'm not really convinced that HoTT is a good idea, but I guess we'll just have to wait and see.
Hola Marc
"As of 2019, the highest transistor count in any IC chip is Samsung's 1 TB eUFS (3D-stacked) V-NAND flash memory chip, with 2 trillion floating-gate MOSFETs (4 bits per transistor)."

At 4 bits per transistor and 3 pins, how do you count the samsung bits? :)
Hola Alex
the plugins are just javascript, so verifying that is actually a trivial task. You just open the plugin and read the source. NYU could also provide the code, to make it even easier.
As far as I can tell White Americans are a super-minority in Silicon Valley hiring pipelines. Of the 100 or so interviews I've done in the past few years I'd say about 2% were White American, 5% were of East Asian origin, and the rest of South Asian origin. Fact is if Silicon Valley firms actually want to be diverse, that is to say accurately represent the demographics of the USA, they need to hire more White Americans, not fewer.
Another benefit of whiteboard interviews that I often see left out is how well they scale.

You can train a lot of engineers in how to conduct these interviews fairly quickly and you tell them what information to focus on and how to document it. You can then pass this information to a hiring committee that has a lot of experience in evaluating candidates. Having sat in on some hiring committee meetings I can see how little weight is given the algorithm if the candidate has a good reference or highly relevant experience.

The issue with the interview alternatives that most people suggest is that they would require your most senior engineers to spend a really really large portion of their day on hiring which can burn people out quickly.
This is a good insight. So, clearly, higher-level languages have been an enormous success. But "no-code", as we mean the term today, has still (mostly) been a failure.

So then what do we actually mean by "no-code" these days? I think "no-code", today, has the unspoken implication of "graphical". Okay, so why are "graphical coding" systems (languages?) mostly unsuccessful? There are some clear exceptions like Unreal Engine's Blueprints and certain WYSIWYG web editors like Squarespace, but the great majority of programming is still done in what comes down to, at the end of the day, text files. There may be more and more elaborate editors built atop these text files, but the "bones" of the code is always available, and never too far out of reach.

My pet theory is that this last bit is the differentiator. In a totally graphical programming environment, the programmer never has to be exposed to the underlying format directly. This perhaps encourages proprietary stacks, where the GUI is all that's known and the substance of the "code" itself may never even be made available to those who seek it out.

Maybe this arrangement keeps these "languages" siloed, and therefore keeps them from gaining real traction. It's hard for a thriving ecosystem to evolve around a closed format. Competing tools, editors, compilers, open transfer via regular files, translation, etc are all stifled. You end up totally dependent on one company for all of your needs. For some projects the value-proposition still works out; for most it doesn't.

If so, here's my proposal: instead of focusing on all-in-one no-code environments, focus on creating graphical tooling for existing languages. Or even, creating new (text-based!) programming languages that are designed from the get-go with advanced (graphical?) tooling in mind, while still having that real, open, core source-of-truth underneath it.

We've seen echoes of this already: Rust's features would make it nearly unusable without its (excellent) user-friendly tooling. Design apps like Sketch can output React source code. Pure-functional languages like Clojure really thrive with an editor that has inline-eval. I think if "no-code" is ever going to catch on for real, it needs to be less afraid of code.

On the other hand: is the value-add really the graphical interface, or is it the "height" of the language?

In the latter case, maybe it's more important that we explore even-higher-level languages, and set aside the graphical part as a distraction. Or, maybe we combine the two goals: create higher-level-languages that also lend themselves to graphical UIs, but are still grounded in formalized text underneath.
Coincidentally (maybe), today also marks the end of perhaps the most popular game jam event, Ludum Dare.

Which I find kind of interesting. Even though LD has been around for a long time, I would've thought a Github-sponsored game jam would get a lot more participation. This blog post says that their previous jam had over 200 submissions, whereas the latest LD had nearly 3300 in a 72-hour period.
These "bitch and moan about Apple" posts on here are so tiresome. They're not smart, they're not funny, and serve zero purpose, except to cater to the echo chamber.

Meanwhile Apple's phones continue to be extremely profitable.

Lots of downvotes - I get it, I hit you where it hurts. But tell me where I'm wrong, discuss with me?
Object permanence isn't even defined in the stateless world of the GPT-3 API.

My comment was merely a jab at Yann's poor argument. I don't find humans to be trivial at all, but neither do I believe that they are infinitely complex.

The linked Nabla article is fair, albeit I would appreciate more technical details. It seems to be using the API in zero-shot fashion, which is not what one would do to get the most out of it.
Plocate: A Much Faster Locate
Vampire bats social distance when they get sick
What is it with “X written in Go”?
Tesla’s Q3 Numbers and Chronic Flaw
Linus Torvalds hails 'historic' Linux 5.10 for ditching defunct addressing artef
So is your opinion just that facebook just shouldn't be researched?
Micro-frameworks have a nasty habit of outgrowing the description, IME.
My autistic 11 year old has been playing roblox and Minecraft for the better part of 6 years now. He used to not talk other than single words. He can now spell, read, form sentences. This is all in addition to his IEP and education of course, but I like to think it helps. I never help him spell words to find games, I always make him sound it out and learn.
Love2D is not a bad choice. As far as restrictions go, I'd say Lua is a pretty limited language lol.
(Author here)

This is the "pipeline problem" debate. You're right, it does start much earlier than tech companies, but also, it's too easy for hiring managers at tech companies to just throw up their hands and say "we can't do much, it's just the pipeline that isn't giving us enough diversity." There is plenty of evidence that it's not just a pipeline problem.

One of my co-authors wrote a really solid piece on this: https://www.holloway.com/g/technical-recruiting-hiring/secti...
How do you eat an elephant? One bite at a time.

A two minute push-up would be fuckin brutal.
I didn't see it in the article, did they measure vitamin D levels in the general public or is that in another study?
"As of 2019, the highest transistor count in any IC chip is Samsung's 1 TB eUFS (3D-stacked) V-NAND flash memory chip, with 2 trillion floating-gate MOSFETs (4 bits per transistor)." [1]

How about bit count? (at 4 bits per transistor)

[1] https://en.wikipedia.org/wiki/Transistor_count
It's Twitter. You can't expect any better there. That platform is worse than 4chan.
I am curious: Why stop at the US? If reddit feels this is a good idea, then why not eliminate geographic compensation zones worldwide?

I suppose the answer is: There's little friction to move inside the US, but a lot of friction (well, a ton right now, but even pre COVID, there was still a lot) to move outside the US and keep working for a US company. Not to mention time zone issues.

I probably answered my own question, though I am curious what their rational is.

That bit about time zones, though, is interesting to me. In my experience working with a team on both coasts, one side's gotta give. Generally, it's the side with fewer people, but one side ends up syncing up their work schedule to either be early or later. Tough to avoid.
> Why is any of this your business?

Because I am the person paying for the thing?
You make a fair point, but it is very hard to snap my fingers and make more competent programmers of all races that perfectly align with society's representation of them.
I think "fast, cheap, good, pick 2" applies. Obviously the current bloated, ad-laden state of the web is pretty horrible and indefensible. But if we can keep making compute faster, it should ultimately save programmer time, which can be used to either get cheaper or better programs.
I've found compensation to be a regular challenge both as an engineer and an engineering manager.

I built this tool to help folks understand their current and offered compensation across cash and equity. I'm hoping it's: 1. Useful to the community and 2. Helps me learn about user needs as I explore building other products in this space.

Excited to get an thoughts / feedback! I wrote this blog with some more context around the tool: https://medium.com/aeqium/an-open-tool-to-understand-compens...
I know you have an iPhone but I used to have a similar experience on Android, by default it records your voice to 'train its voice recognition', which I think is where it came from. I disabled it in the settings and it never happened again.
We used React Router's ssr process described here[1] on my last React project. It worked ok, but there's a bit of hoop-jumping to go through if your pages are populated by async data.

[1] https://reactrouter.com/web/guides/server-rendering
All of the iPad and Macbook charging bricks have been USB-C for a while, there is definitely a huge population of users that already have one. Plus, you know, it plugs into any usb-c port, it doesn’t have to be white. You can also get a standard Qi charger for what, $15?
If you want something simple, restricted, and programmer friendly, PICO-8 is the way to go https://www.lexaloffle.com/pico-8.php

And in the spirit of open source, I couldn't not recommend the open source game engine Godot, which is rapidly closing in on its proprietary competitors like Unity and Unreal: https://godotengine.org/
> The (sic) present themselves as if a week in a makeshift classroom is all it takes to compile and deploy a Swift app.

Even if it were, that'd still be a far cry from becoming a billionaire from nil in a week.
I am so no expert, but have been able to create a logo animation for a fake TV show for a university project of my significant other this year.

It was a blast and the tutorials were great. Using the software was a pleasure.

Looking forward to the next few months were I will have some time to just play a little bit more with it.
I agree with you that tech companies can do better and have done better. But this is like, they are doing 1.5x better. To do 10x better the educational system needs to be totally reworked.
Like most people who use ES5, your code is broken in IE11 and you had no idea. :-) You use Object.assign(state, next) which does not work in IE11.

Using ES5 is pretty much always a mistake in 2020.
This is similar to a UI solution a colleague and I came up with. The action the user could kick off was unstoppable and irreversible (a large batch job), and it seemed like even a confirmation prompt was too easy to simply click through. So we had the UI present a modal dialog asking the user to type in a specific word in all caps to confirm the action. Worked like a charm.
Transcripts of these hearings are publicly available. This seems to be the hearing GP was referring to (it's proposed class 23 in this hearing): https://cdn.loc.gov/copyright/1201/2015/hearing-transcripts/...

Appears the same lawyer was representing ESA/RIAA/MPAA.

I briefly started reading some of them a while back and they're, uh, frustrating to read.
No. Covid and the job market make that impossible. I know that if we reopened, I'd lose half my team within the month.
Objectively speaking table oriented programming is a very interesting topic. Sadly the incredibly effective anti-evangelist calling himself topmind over at the c2 wiki convinced me to completely ignore it for over a decade.

The relational calculus is an incredibly powerful formalism though, and it's definitely one that has an important place in serious software development.
to whoever downvoted me, it's this simple.

You are either:

A platform. That allows all voices to be heard. 1st Amendment protections.

A publisher. That can edit or censor. And can be sued for slander and libel.

Whatever sophistry section 230 discussion is being fogged with, the above should be the way it is, period.
There's also the Blender Peertube instance, in case you care about it: https://video.blender.org/