skysight-inc/HackerNews huggingface dataset:
> I'm passionate about teaching programming to 17-19 year olds.

I've been teaching for some time an introductory programming class to kids with those ages (1st year university students). I think the best approach to teach programming is to start with flowcharts (hand drawn in the paper), do a lot of them, and then use a computer to "program" in flowcharts. Here's some examples of hand-drawn flowchart exercises [1], and for the second, I use Flowgorithm [1].

It is much easier to teach Java (which is the "real" language they must learn in that class) after they know how to think "algorithmically".

[1] https://joaoventura.net/blog/2020/flowcharts/

[2] http://flowgorithm.org/
I prefer switch now over longer if else, and find my code to be much simpler. I stopped following most of what clean code recommends such as using polymorphism as a switch case or if else.
Just about every language can compile or transpile to WASM:

https://github.com/appcypher/awesome-wasm-langs
Hi! I decided to spend the weekend building something fun and without purpose. I wanted to try out Next 13 and I had had this idea floating around for a while.
Let me know what you think!
And in September 2012, the time of the heist, they were worth about $500k.
Yea so not a lot of money and not worth the global instability, hence it’s a very poor theory.

A much better one would be something like the US knowing that the Russian military was in very rough shape and that an invasion would lead to the permanent decline of Russia and shore up allies in Europe and elsewhere so they goaded Putin into action by not doing anything after previous actions in places like Crimea.

But that’s also prescribing too much agency to the US government.
Fair to a point. In those times you knew what you were getting into. The users picked the winners (popular kids) and the losers - it was truly the wild west but at least it was truly community (for lack of a better word) driven.

The difference is that now the platforms pick the winners and losers. That's where it fell apart.
Right, so the players with money can simply massively burden the minor players, often to bankruptcy.

A Patent is simply a ticket to start a lawsuit as a plaintiff. So just file, get your ticket, and start suing competitors, putting on them the burden of proving your patent is worthless.

That is the opposite of the way it is supposed to work.

Without some kind of penalty beyond the costs of patent & prosecution, this is massively anticompetitive.

If your point was that we are, in a practical sense, close to this now, then yes, I agree (but that was not clear to me in that comment).
Anyone with more experience with these types of studies able to weigh in?
I have to disagree a bit. Even stipulating that there may be some economic drivers for more compact text, my observation is people largely switched to using proportional fonts (outside of some specialty cases like code or tabular data) as soon as it was technologically possible to do so. People generally preferred proportional fonts when it was practical to use them with the equipment reasonable at their disposal.
I am only looking for answer so I can get ahead of the game ;-). But yes, logically, M. Zuckerburg is right (if there is a future here, that is, which I am personally not convinced about).
The answer is still yes. This practice was extremely common in Twitter.
Then kudos to Zillow for continuing to provide the accurate history.
It sounds like you’re just a bit burnt out. Maybe try a sabbatical first before making any big moves.

If that doesn’t work, seriously consider switching to a part-time remote job. I don’t know what your current salary is or where you’re from, but I’m assuming that even 5-10 hours a week of remote software work will be significantly higher than a local teacher salary. I wouldn’t throw that opportunity away on a whim, especially if you have any family members to consider.
>And importantly, everyone knows this.

Do they though? I mean, I'm open to being convinced but just asserting this isn't very compelling. Why were there pre-existing rules governing the use of this field if this behavior was completely harmless? Saying "it's a free form field therefore no one should ever trust it" as a general principle seems like a stretch. Lots of web services separate display names from underlying IDs and allow flexibility in using the former, with some reasonable restrictions.
no they didn't, you did, because that's what happens when you don't read any of the existing research

quoting my comment at https://news.ycombinator.com/item?id=32198793 about the theoretical thermodynamic minimum for direct air capture,

as https://en.wikipedia.org/wiki/Direct_air_capture#Environment... explains, it is only 250 kWh/tonne CO₂, or 900 kJ/kg in SI units. To remove the ≈60 Gt/year of anthropogenic CO₂ currently being emitted and get us to carbon-neutral with direct air capture would consequently require a theoretical minimum of 1.7 terawatts, which is only about 10% of current world marketed energy consumption, and presumably about 5% of world marketed energy consumption 10 years from now. Kicking climate change into reverse would require a bit more than that, maybe double. Depending on the sorbent system, this energy can be solar thermal; it does not have to be electrical.

Existing direct air capture systems like Climeworks's do not closely approach the theoretical minimum. ...

Point source capture is of course much cheaper but it cannot get us to net negative CO₂ emissions.

(note https://news.ycombinator.com/item?id=33504318 points out a way that point source capture could conceivably get us to net negative emissions)

https://news.ycombinator.com/item?id=29327736 describes the lime approach. it uses a huge amount of energy, 1600 kWh/tonne CO2 (5700 kJ/kg CO2), much larger than the theoretical minimum above and much more than Climeworks, so the purpose of explaining it is only to demonstrate that there's no practical scalability limit to direct air capture. you don't have to ramp up your production of triethanolamine or aluminum formate or whatever the fuck. those are just a matter of optimizing the energy efficiency
Urban legends were spread by word of mouth, like Marilyn Manson removing two ribs so he could self-fellate.

We'd hear it from 'that guy' at school, laugh and get on with our day. TikTok is that guy today, and unlike the '90s, he lives in your pocket and can deliver other such interesting tidbits on a variety of topics, 24 hours a day.
Ah ok I see now!
Wait. Why are Monads complicated?
Yes the math definition is complicated, but so is math definition of number 1 in set theory

You have a Rust-like enum that contains data like Option or Maybe, you want to abstract over it. There you have a rudimentary Monad.
Whether that’s true of current AI or not, it’s temporary.

Finding prior art is inherently a “graphy” problem and current AI is getting better at graphy problems by the day (probably even by the hour). I have zero doubt that AI could solve this problem, but am unsure whether it will be allowed to.
Online Microsoft Sam TTS Generator
Yup. I found this article difficult to read.
Thanks! That's a very cool game, definitely a good example of the multiple orders-of-magnitude speedup you can get by using wasm+webgl+canvas instead of my current method of eval()ing JS and writing text in the DOM.
Another thing you're not addressing here is basically Type checking solves none of the problems you describe. You claim it's extraordinarily hard to write tests for UI and for memory corruption. And that's your argument for type checkers? It's next to impossible to type check UI and memory corruption. So your argument has no point here.

SQlite is written in C. It has type checking. Yet people still write unit tests for it. Why? Because type checking is mostly practically inconsequential. All your points don't prove anything. It proves my point.

All the problems you talk about can be solved with more advanced proof based checkers. These systems can literally proof check your entire program to be fully in spec precompile time. It goes far beyond just types. Agda, Idris, Coq, and Microsofts lean have facilities to prove your programs to be fully correct 100% of the time. They exist. But they're not popular. And there's a reason for that.

You say it's paramount to move error detection to compile time. I say, this problem is ALREADY solved, but remains unused because these methods aren't PRACTICAL.
I was working in a new book project on Saturday using old and highly optimized tools: LaTeX/TeX and Emacs. I am deeply appreciative of people who maintain and improve these tools, they are not Dead projects by any means.

I am against a world economy based on mandatory high growth. I am also against new tech, just because something is new. I make exceptions: deep learning applied to real world problems, better theories and implementation for security and privacy, and better online platforms for creating things; for example leanpub for writing and Google Colab for writing and sharing ideas and experiments in ML and DL.

How often are we disappointed when new versions of software seem worse than previous versions?
"Youtube Shorts" is just an alternative frontend, you can replace any url from youtube.com/shorts/XYZ to youtube.com/watch?v=XYZ to watch them with the original UI.
If you intend to bully, you should always side with the popular narrative.

Science/convention/authority/consensus/correct-politics is your greatest bullying ally.
They were introduced when JS went through its "let's copy python" phase.

They're kind of crippled because generators only really become useful if you have the equivalent of itertools to build a sort of iterator algebra. I love generator-based code in python but it's hard to replicate that without having the library too.
It occurs to me that buying a robot arm to literally flip burgers is highly anthropomorphizing the solution space. You want a machine that gives you a burger at the end. This is a pretty easy thing to automate if you had a huge, constant demand for burgers at one single location using standard factory automation strategies. Might not be feasible at all for the typical franchises with spikey demand and relatively low volume.

I say we increase the minimum wage to about $20/hour, adjusted for productivity growth (per capita GDP) since the 1960s and see what happens.
My understanding is that OP is running their own Fediverse server under fedi.aeracode.org. The challenge was that the server was not running at the root of the web server hence the need for the redirect code and the resulting blog post. But yes, OP can now act under @user@domain.com in the Fediverse, reply as such etc.
> if you are trying to build cross-platform software (and Windows 2000/XP/98/Vista is cross platform, mind you) you should start building and testing on the various platforms early.

Yeah people tell me they're having problems migrating their Java 8 app to something modern and I can't understand why haven't they always been running all versions of Java in CI, including pre-releases, and just fixing the one thing a month that pops up as a problem. They can still run on Java 8, but they will know it's going to work fine everywhere, and if they find something that won't work in a future version they can engage the Java developers before they release it.
The argument is that it is obviously never easy to make money in a transparent market - because SOMEONE with money would do it until the prices adapt. The difference between todays spot market and futures tells you something about the challenge to provide additional storage at scale.
Oh god locales.

https://github.com/mpv-player/mpv/commit/1e70e82baa9193f6f02...

Basically, if you want to break any piece of software, there's a locale for that.
The originally hack was caused by the fact that Silk Road was running PHP on MySQL without transaction isolation. Many early crypto exchanges had similar withdrawal bugs as they were running on LAMP stacks - MySQL has been notoriosly famous for having lax transaction isolation. Sometimes you could overwithdraw just by hitting refresh fast enough in a web browser.

If you deal with money use PostgreSQL + SERIALIZABLE transaction isolation level to be sure.

More in PostgreSQL documentation https://www.postgresql.org/docs/current/transaction-iso.html

Also Zhong was 22 years old script kiddie when he hacked Silk Road. Any smart criminal would have left United States long time ago if you sit on the top of $3B stash.
the web version throws up a sign in message after scrolling a bit, just like Instagram.
In a honest state, with great powers, come great regulations about what you are supposed to do with such powers. Occasionally some responsibility too.
I hope the game involves NPCs with the store's logo burned into their flesh.

When asked about it, they'll explain it's just corporate branding.
"he or she" doesn't include everyone though, and is longer and harder to say than the more inclusive variant!
"perfect" is the enemy of "good", but so is "bad". Bad is definitely the enemy of good.

So it winds up being arguments about whether something is "bad" or "good enough". I mean, that's kind of the whole damn trick, figuring out what is good enough.

It's good to remember that "good enough" has upper as well as lower bands, it's true that perfectionism is not the way to go -- especially because you are usually over-confident in your ability to predict how something will actually turn out under real world use and requirements.

But I also find people insisting "the perfect is the enemy of the good" while trying to do crap. Why bother trying to do better than crap, the perfect is the enemy of the good!

Determining what is "good enough", over the sustainable long haul, is literally the whole trick to software design. At what point you are getting diminishing returns or even counter-productive complexity from trying to polish it further. If it was easy we wouldn't be having these conversations. Slogans still don't make it easy.
Yeah, I agree that the big stink and fear is way overblown. So's the censorship! That's why I'm seeing so much engagement with my Winnie the Pooh themed channel /s
Article title is "How corporate chiefs dodge lawsuits over sexual abuse and deadly products". The HN guidelines ask "Please use the original title, unless it is misleading or linkbait; don't editorialize."
> Humans are not good at programming. I've never seen a "done" C++ codebase in my life, maintainers are always too busy reinventing parts that had originally nothing to do with the feature scope of their library.

No reason to limit to "C++" there. It's an industry wide problem with every language. Even in open source, if a repo hasn't had commits in the last week, most people treat it as a dead project.
Indeed. The Chinese high-speed rail network transports nearly 2 billion passengers a year. There have been two fatal accidents in its entire history, in 2011 and 2022, with a total of 48 deaths.

That safety record is equivalent to commercial aviation in the US.
You did consent to it, in the fine print. Unfortunately.
One thing judges know is how they can get burned by experts - and they know to whom the liability falls if something goes wrong.
Remember that the Cambridge and Oxford dictionaries are trying to be descriptive: that is, they're trying to see how people are actually using words. People actually use "they" as described there, and have been doing it for hundreds of years [1], and so it's in the Cambridge Dictionary.

What is taught in schools is prescriptive: They're trying to teach people "proper English" (sometimes called "prestige dialects"). So they tell you not to use "ain't", not to use double negatives ("I didn't do nothin'!"), not to say "literally" when you're speaking figuratively ("My head literally exploded!")... and not to use the singular "they" ("Can the owner of the blue car turn their lights off").

I retain the first three of those rules, in spite of the fact that I'm pretty sure the Cambridge Dictionary has entries for "ain't" and "figuratively" that violate them; but I have deliberately chosen to reject the last one.

[1] https://en.wikipedia.org/wiki/Singular_they
It was rumored the Columbine killers had re-created their highschool campus layout in Doom. It was only a rumor[0], but enough people believed it, or at least it indulged their confirmation bias, that game levels are now taken seriously as threats. No doubt the swift response to your counterstrike map was influenced by that legacy.

[0] https://www.snopes.com/fact-check/the-harris-levels/
Unfortunately you can't just use an old flip-phone because the 2G networks are all shutdown. Although there are a couple companies today making "dumb" phones.

A good middle ground I found is the Light Phone. You can send and receive texts, load music and podcasts onto it, and it has GPS navigation. But, it has no web browser, no appstore and a monochrome e-ink display.

https://www.thelightphone.com/
That is probably the fastest way to kill crypto. Seizing any coins involved in illegal activity, even if it's been through numerous other owners since (and for legal purchases). Once everyone is asking if the coins they are getting are clean they'll stop acquiring coins.
I thought "how" was the whole point. Imagine I invent an air conditioner that's 100x more effective or efficient based on a new mechanical process I invented. I damn well better be able to patent that "how" despite a century of prior art in "what".
Not aware of any court cases where someone successfully sued because they were shown one product recommendation or Ad on a webpage instead of another.
Russia would be insane (more than they already are) to attack that. It has nothing to do with Ukraine and would likely be considered an attack on a NATO ally.

No benefit and lots to lose.
"Informed Consent is just a theory. Besides [other app] already spies on you so who cares? Whaddareya doing in PowerPoint that's so sekret?"
What if the parent isn't informed enough or, frankly, isn't smart enough to correct their child, add context and teach critical thinking?
Software Testing Trends for 2023
It is really good. I'm not complaining!

But -- the OSS world is even better in the very long term.
While your article calls out PFAS in firefighters, there are people who for other reasons need blood letting. It's one of my biggest gripes with blood donation in the US is that those people are prohibited from donating blood because they're getting "value" from doing so (instead of having to pay somebody to draw their blood the red cross would be drawing it for free -- note, the blood isn't unusable for any other reason than drawing it provides value to the donater).

Like you have a population that must give blood by some means and regularly the various blood banks complain about a shortage and they never seem to be able to put two and two together ...
There almost certainly is, which is part of the reason the judge is poking this - "ownership" includes control and if they aren't really in control they're not really the patent 'owner' and that could change things.

Also judges in general don't like people being "clever".
Which is why GDPR has the concept of "informed consent", which is a fancy way of saying "consent hidden in the fine print doesn't count".
I think doesn't work like that, but I am not 100% sure.
Perhaps. Or they have A/B tested the new alternative and found it superior (e.g. Instagram users exposed to that new experience come to the app more often, stay for longer).
Async generators similarly open up different ways to program complex / multi step user interactions. Instead of creating “state machine” objects that mutate on every input, you can have async functions aka coroutines that iterate over user inputs, making the flow of an interaction much more explicit.
Modernizing my 1980s sound system
For sure, I think other people answered that pretty fully. Was just showing you a cool little protocol where they decided markdown was the format of choice.
Ada/SPARK is a strong typed C with visibility done correctly. (you know the "private" notion in C++ ... and sane scoping using semantic grade packages) All checks in Ada/SPARK can be removed so essentially you end up, in production, with code as performant as C.
Okay, so this is like so in C++:

template<template <typename> T> class C{};

Am I right, Rustaceans? :)
> ZHONG did not list any item or service for sale on Silk Road, nor did he buy any item or service on Silk Road

> ZHONG funded the Fraud Accounts with an initial deposit of between 200 and 2,000 Bitcoin. After the initial deposit, ZHONG then quickly executed a series of withdrawals. Through his scheme to defraud, ZHONG was able to withdraw many times more Bitcoin out of Silk Road than he had deposited in the first instance. As an example, on September 19, 2012, ZHONG deposited 500 Bitcoin into a Silk Road wallet. Less than five seconds after making the initial deposit, ZHONG executed five withdrawals of 500 Bitcoin in rapid succession — i.e., within the same second — resulting in a net gain of 2,000 Bitcoin. As another example, a different Fraud Account made a single deposit and over 50 Bitcoin withdrawals before the account ceased its activity.

So Silk Road wasn’t waiting for any transaction confirmations??? And didn’t append a nonce to each withdrawal to avoid duplicates?

Is this the guy that Ross wanted to kill?
> the article doesn’t explain where to go post-Google

I've been very happy with non-Google search, and all of their other services are convenient but not unique.

I have no particular issue with Google, although I certainly don't prefer them when given the option. ..and the option is ~always present.
Wish it was that easy to extract the 3D models from their web designer utilities. I've made almost perfect design of the flat remodel before we hired the contractors earlier this year, and one major thing that was off was the use of generic furniture - I just couldn't afford to model the stuff myself (I did copy the color patterns and textures, though).
Pretty impressive that we've advanced technologically and as a society to the point where we can now store somewhere between much and all of the GDP of Belize " (a) in an underground floor safe; and (b) on a single-board computer that was submerged under blankets in a popcorn tin stored in a bathroom closet."
Thanks for the feedback!

It looks like I got rate limited by pastebin for storing shaders so I'll have to go hunt down a non-free solution or host a backend myself to get it to work.

The source is just the single page, feel free to inspect and download it but ignore any bad coding standards you may see :)
Madrid has daily ridership around a million or two.

Seattle has monthly ridership in the millions.

That's actually still pretty terrible for a city of its size.
Ironically, that’s sort of drone for drones in aviation. Any person can just fly an ultralight. Without any kind of pilot’s license. And without nearly the kind of regulatory overhead of even smaller drones.
Node is not a Linux-only platform. It's easy to imagine reasons you might need this tool in your software project, that works on all the platforms your project does.
I've not heard this called sub- or pattern types before. Perhaps the rfc syntax is complicating the discussion.

We have struct and tuple in Rust where tuple is an ad-hoc/anonymous struct where only the number and order of member types matter. We have enum which are nominal types. We don't have the ad-hoc/anonymous version of them where only the set of possible types matter.

In TypeScript, F#/OCaml they would be like x: TypeA|TypeB
This would carry more weight if nearly every consumer good in the US wasn't made in China. It's very difficult to avoid giving money to the Chinese economy for ethical reasons at this point.
I look forward to the day when PowerPoint is banned due to enterprise security concerns.