skysight-inc/HackerNews huggingface dataset:
> My two cents is that anything is hard to learn without an application you can test your knowledge against. It’s always hard to learn language X until you go ahead and build something in it.

If it's something really new and different, like Haskell is to an old school imperative programmer, I think the opposite approach is best. Treat it like a topic in math, start from zero, work out small problems to exercise the basic concepts, then start putting them together.

Immutable data structures are another new and shocking thing, but less complicated than fancy typed FP is. Start with seeing how you can "update" the first element of a linked list by making a new first element and linking it to the existing tail. Then see how AVL or red-black trees let you do something similar with tree nodes in log(N) time, so you can use those instead of hash tables without a monstrous slowdown. That's probably all you need, but the next thing after is probably Chris Okasaki's book Purely Functional Data Structures. It is pretty readable once you've seen some basics.
Good point! Assuming that the asteroid sees Earth as a disk that it can hit anywhere uniformly at random and also that I can still do calculus in my head, looks like the expected radius away from the circumference is only 1/3 R?
No. Please stop spreading this nonsense that NAT is solution for security and privacy. NAT was solution for getting systems online without increasing address space. It served that well. Now it needs to die.

If you have security issues that is because you failed to configure your firewall properly. Besides Internet was always supposed to work the way IPv6 would allow.
Shouldn't this article have been titled "Why Is Learning Haskell So Damn'd Hard?"

Don't get me wrong. I like Haskell. But yeah, I learned Haskell because I used to sit at a desk across from Brian O'Sullivan (who later wrote "Real World Haskell".) And even having Brian around to answer questions, it still required stretching of the brainpan. But at least I had a guide.
It's much like they US could have technically stayed in Vietnam forever, but they didn't, because there was no popular support at home.
Architectures for molecular electronic computers (2000) [pdf]
Ordered a copy, thanks for this
The National Review is more focused on developing political ideas than it is on journalism, kind of like Jacobin is on the left. In particular, coming up with new ways to hate California seems to be a popular pastime on the right, since California turned towards the left after the 90s.
It means I can’t do a fully ipv6 backend, which is a bit irritating.
The sheer number of on-screen controls in a single professional app Window present a problem when you have to make them all large enough to be a touch target.
It's very rare to make a breaking change in a protocol as ubiquitous as IP. One thing about making a breaking change is that once you've committed to one such change it becomes much cheaper to bundle in other changes at the same time. Extending the routable address space required a breaking change and everyone recognized that it was likely to be the last such change for a very long time. This meant there was immense pressure to resolve any shortcomings in IPv4 and introduce new refinements to take advantage of this one, possible last, opportunity to make breaking changes.
Cap'n Proto has a serialization layer and an RPC layer. The capability-based security part is mostly a feature of the RPC layer, not the serialization. The serialization does assist slightly in defining a way to encode remote references.

> This sounds exactly like promises

Yes, the API is Promise-based. Both Cap'n Proto and JavaScript Promises are inspired by the E programming language, which is a strict object-capability language.
> India is leading IPv6 migration with 61.67% adoption

This data doesn't show that at all. It's based on traffic to Google. According to this, IPv6 adoption in China is just over 2%.

Which of course has absolutely nothing to do with reality.
> Resources are finite, we are already straining our eco-systems to (and beyond) the breaking point.

That has simple solution - you could have either life extension or children, but not both.
Bill Seeks to End North Carolina as Child Bride Destination
Okay let me make it real simple for you. Here is a definition of wasteful.

> (of a person, action, or process) using or expending something of value carelessly, extravagantly, or to no purpose.

So yes. It is extravagant to use a straw and then throw it out and it is wasteful especially when perfectly viable alternatives are available that do not produce plastic debris.
jio effect
NAT is not security. If some people need a relay because gamers commit harassment that can used on top of IPv6. Everyone else can connect directly to lower latency.

https://help.steampowered.com/en/faqs/view/1433-AD20-F11D-B7...
It keeps being hosted on BackPAN, where *all* modules live, even after they are removed from CPAN itself.
2003, was working in a science lab, lab tech came in and said he (or maybe it was his brother) had just bought a house, really cheap, in hawaii. He said it was in lanikai estates. Family is from hawaii and I'm a bit of a geography geek, so I hopped onto mapquest to see where it was... Noticed it was due east of pu'u o'o, and I know the volcano is moving east, so I told him, look you have 10-15 years to sell that house before it winds up under a volcano. Fast forward 15 years and volcano! The volcano just snuck in under my time window, haha.

To be fair, I do not know for sure if HIS house went under; there are houses in the neighborhood that were spared.

I didn't bother to ask because when I stalked him it said he was an employee of Theranos, and I decided it was probably not a good idea to poke a hornet's nest.

Speaking of Theranos, back when I was in my 2nd postdoc (2013) we were talking about how theranos was a fraud and it was going to come crumbling down, Some other crazy short term things I predicted: Sarah Palin VP candidate, Feb 2008, Simone Giertz becoming famous (ca winter 2015). I also predicted the failure of the first starliner launch (documented here in HN). I also have managed to pick some ascendant "obscure" PLs just before hockey sticking. Used Julia professionally in 2015 (proof of use in 2017: https://www.youtube.com/watch?v=aP0Y1uAA-2Y&t=53m), used Elixir in 2017, been using Zig since 2019. And I haven't really used any other non-mainstream PLs, so I have a pretty good hit record I think. And a couple of obscure cryptos that I don't want to talk too much about.
Odometers are based on axle rotations; you could game that by running larger tires than stock, for example. There are perverse incentives that are difficult to solve - GPS is imperfect and mandating it is also unappealing from a privacy perspective.
If you have an bunch of servers using ipv6 to avoid NAT issues.
Can you show it?
>They made “line-move-visual” the default, which in the service of making Emacs behave more like Microsoft Word, it makes ^N and ^P across wrapped lines stay on the same line and move to the part of the same line that is wrapped above or below the cursor, totally breaking type-ahead predictability and keyboard macros.

As you say, "keyboard macros are a way of life for real emacs hackers" and that just happened to break my use of an on the fly macro five minutes ago. With today's super wide landscape modes it's not normally a problem, but someone also decided to change some default two window modes to vertical instead of horizontal.

The other two changes are also constant annoyances, in particular I'm really impressed how much shell mode has been broken.
> I think it could also probably benefit from using the string libraries a little more.

Definitely agree. I forgot about some builtins like str.isdigit(), str.isalpha(). But Java also has Character.isDigit and Go has unicode.IsLetter and so forth.

I was just using the methods that came immediately to mind and in some cases did miss builtins in all implementations.
I all the studies I have seen, ipv6 enabled networks outperform ipv4 only networks in term of latency.

Improved latency mean improved responsiveness, and that in turn has companies claiming improved user retention and sales.

If you need an argument to support ipv6, those seems like good reasons to support ipv6.
The tablet driver uses absolute position, so the mouse cursor has a nature transition when it's over the QEMU window. Also there is no "scaling" problem where the mouse moves at different speed inside and outside of the QEMU window.
What if you aren't a troll, but have a genuine hatred towards you dang with a genuine desire for your demise?
What about the diesel fuel burned hauling the additional weight of the batteries and panels on those trucks? Is it actually a net win?
a good language would allow you to express thoughts that are difficult in another language. But this presumes that you have those thoughts to express in the first place. If you don't, the language isn't gonna magically be able to give you the ability to have those thoughts.

So learning functional languages is both learning the language, but to also improve your cognitive capabilities to have more thoughts.
I think it’s a cliche at this point, but what has really been helpful for me is setting boundaries. I used to do some work 7 days a week, trying to do less on the weekends. But because I didn’t have strict guidelines, I would have anxiety that I should be doing work humming in the background all weekend. When I switched to the model of doing absolutely no work on the Saturday (even if I didn’t have anything better to do), it allowed me to completely separate work from recovery, and made both more enjoyable.
The Propaganda Multiplier
> Not a single new reservoir has been built since 1979

This is not an accurate simplification of "did not construct one additional, large-scale water storage project." The have been a number of new reservoirs constructed since 1979. e.g. https://en.wikipedia.org/wiki/Diamond_Valley_Lake

There are also sort of a lot that have been proposed, but have not been funded, due in part to the 1986 federal law that banned federal funding for water projects unless most of the funding came from other sources.

The emphasis on population growth IMO suggests that the water consumption has just increased linearly with it, which is not true:

> Total urban water use has been falling even as the
population grows.

Also urban water use is a fairly minor part, and it looks like agricultural water use is actually also down in the last few decades too:

> Farm production generated 38% more gross state product in 2015 than in 1980, even though farm water use was about 14% lower

https://cwc.ca.gov/-/media/CWC-Website/Files/Documents/2019/...

These sorts of claims that suggest California needs to increase its water supply by 50% should be argued using water usage data, not using population numbers.

p.s. if all the reservoirs proposed were magically built this year, I think the total new water supply would be insignificant compared to the existing huge reservoirs in prime locations.
I agree. It makes things much harder than it should be.

I wanted to try installing the module into my router so it would pass the WebRTC test for STUN/TURN and perhaps make video even more efficient to allow point to point connection instead of having everything be relayed through a tertiary server, but there was no documentation and having never set up a STUN/TURN server before I couldn't get it to work. So I am dependent on what a third party has set up to facilitate connectivity.

In the old days, you'd just connect to an IP address and that was it.
One of the things that has puzzled me for a long time is how little thought we have applied over time towards designing and building better homes. Energy and water usage are two elements of this.

Regarding water. Every time I wash my hands I wish that water went into a gray water tank instead of being wasted. This water, perhaps with some filtration (or maybe not [0]) could then be used for irrigation. The same is the case for the shower.

We try to take walks around the neighborhood every day. I am always amazed at the amount of water almost constantly running into storm drains due to overflowing/unmanaged lawn watering. If we designed homes to store water secondary use we would likely save enough water to make a huge difference. Washing the car or hosing-down the patio or driveway would also benefit from this immensely.

This water would most definitely be good for flushing the toilet. Why do we need clean drinking water (that's what's coming into your house) to flush the toilet? !!!

In other words, just about the only use for "first generation" water at the home would be drinking or cooking.

Why can't I dump the water I used to cook spaghetti into a sink that routes it into a holding tank? Why can't that water be used to flush the toilet?

All of this would require a design rethink and creating the incentives necessary to compel people to retrofit. New construction, by default, would come with these enhancements.

To go beyond this, imagine the water wasted by large buildings. A 5, 10, 20+ floor building a hotel perhaps or an apartment building with 300 units. The numbers are staggering.

As a general comment, everything in government or public infrastructure always seems to be about "more" rather than "more efficient" first. More lanes on the highway, rather than coming up with ways to make traffic more efficient (like punishing the guy doing 45 in the middle of a sea of cars who have to go around him, creating a traffic jam that ripples back for miles). Efficiency never seems to be discussed or even considered. Saving is never a parameter in the public discourse.

And so, neighborhoods like mine, built 20-some years ago, have, every day, perfectly good water flowing like rivers down the edge of the street to eventually find a storm drain.

Energy is another one. Dark roofs. Unbelievable. A few blocks away someone pained their house black! Wow. Air conditioning systems that do not have the ability or option to bring in cool filtered outside air in the evening in order to cool down the house "for free" (compared to running a 5 ton compressor, a fan would be free). Interesting that cars have had the option to recirculate inside air or suck-in outside air for as long as I can remember but we don't require this from homes by law. Or how about systems that cool down or warm-up walls as required in order to store energy rather than just circulate cold air, which has horrible thermal capacity?

Etc.

[0] A friend mentioned that hand and dish soap in low concentrations doesn't really harm lawns, trees or plants. I did not research this. If this isn't the case, I'm sure some form of simple filtration could resolve the matter.
This is actually a very understandable explanation, though maybe ‘thingy’ should be replaced with ‘mechanism’.
Canada to accept 20k vulnerable Afghans: women leaders, human rights workers
Strange how people are misreading that. If I were to reparse that I'd say "It will be ready for flight in a few weeks. If we have FAA approval at that point, we will be able to launch."
Absolutely. my reply was aimed more at the unseen other readers looking to use your comment to confirm their bias that regular people can't do this without a huge audience and dismiss it altogether.
>They're really just stupid out here.

Oh, they are not stupid. I can bet the ruling class in California has their own generators and does not have to drain their swimming pools due to water shortage. In fact, they are very successful at manipulating the general public at turning a blind eye at them and even not wanting all these things. Why build infrastructure for the plebs if you can pick a few activist groups, give them the power to bully the fellow plebs over zero-cost topics, and keep the society busy? This is very smart. USSR has failed at it, so did many other dictatorships. The U.S. situation appears pretty stable. People seem to genuinely believe that shaming your neighbor for having kids and demanding that schools drop math exams will solve all the problems.

Ironically, U.S. used to do use the divide-and-conquer approach overseas some decades ago. They would support multiple competing guerilla groups to keep them in a permanent state of fight, and prevent the territory from becoming strong enough to be a threat. Now the same tactic is aimed at your own middle class and nobody seems to care...
> During the 9x-2000 there was a lot of hype on providing the same system composition capabilities in Windows and Mac: ActiveX, Windows Scripting Host, AppleScript, etc. But, these things are dying.

iOS and MacOS are both converging on Shortcuts to accomplish this.
Elixir is like the alternate town in Blazing Saddles. It looks great but you find out there aren’t really people nor library depth there. After it blows up your staffing and project plans you end up moving back.
Testing for one:

* QA to make sure all the interdependencies aline correctly

* making sure the upgrade process runs smoothly, and that going from version X to version Y of some package is well-tested

It also depends on the upstream release cycle of the software package. The distro may wish to use the LTS version software (e.g., OpenJDK, OpenZFS, Django, Zabbix) but developers may wish to be more bleeding edge for new functionality.
The fact that the SENS approach can even lead to "made for investors", plausibly-viable biotech spinoffs is, if anything, a validation of its scientific plausibility. Don't get me wrong, you could fairly describe it as a niche, fringe, unpopular approach and perhaps discount it on that basis, but it's at least not so fringe as to be entirely useless.
I don't want to be rude, but I don't think anyone here would spend time on a zoom meeting to brainstorm a vague product idea.
We work with more dangerous fuels daily…

If we can design ships to go to mars, I’m sure we can use modern technology to design airships as safe as airplanes.
A few years ago, IPv6 in China was reserved to universities and it bypassed the golden shield (at least censorship, added packet loss on long-running connections, added latency, ...).

2.28% is already impressive if the situation is still the same nowadays.
We're talking about typed FP so only SML in your list really counts. So let's see: functors, polymorphism, higher-kinded types (does SML have those?), Hindley-Milner type inference, etc. Then for Haskell (the main topic of the linked article), bring in a bunch of unfamiliar algebra such as the notorious monoid on the category of endofunctors. It is actually worth understanding that. I liked this article (prerequisite: some exposure to Haskell):

https://www.haskellforall.com/2012/08/the-category-design-pa...

This is also good:

https://en.wikibooks.org/wiki/Haskell/Category_theory
I fail to learn Haskell about once every 5 years and sometimes I think of functional languages as not languages for expressing concepts, but more like a musical notation that denotes a set of abstractions mapped to an underlying ontology made from things you just train yourself on with practice - and then use the functional language as a lookup reference to until you can in effect "sight read," or compose those underlying elements to the page. The algebra and category theory are the true instrument, and the language is the composition notation tool. Whereas with OO and imperative programming, the imperative or OO language itself is the instrument or tool that you can just pick up and bang away on and music will come out. To extend the metaphor, OO is an instrument on which you can play a canon like "row your boat" without knowing how to write one, some, or all of them. It's lovely that we have these tools for specifying and composing functions, but perhaps the gap is in effectively expressing and teaching the underlying ontology. Maybe as a writer, my next attempt should be to write that explanation of it as I go.

The most trouble I had with Haskell was pronouncing statements after reading them, which prevented me from composing the ideas in my head because the syntax doesn't give you a lot of hints. It's like trying to parse calculus without names for the letters in the greek alphabet. Most people are proficient in their own written languages, and they are capable of mapping ideas to abstractions, but if there is not a way to express those ideas lexically in their language, most are going to stumble.

The incomplete and error prone explanations by novices that the author refers to also create an artificial conceptual barrier, but mostly because there is always the hint and implication (or perhaps just personal anxiety) that you are not writing real functional programs and that your naivety is accumulating a hidden sunk cost that you will eventually be exposed for and made ashamed of because you aren't a category theorist, which is a consequence of this mostly aesthetic idea that functional code is about competing to advance knowledge in a science and not just making stuff you enjoy or people like. The clostest thing I found to a kind of function-punk where you could just bang away on it because it was fun was the excellent Learnyouahaskellforgreatgood, but it focused on the notation less than the underlying ontology - e.g. the instrument - and what I think I might need is more of a category-punk that provides the equivalent to composition with a few concepts, and then add the notation to those.

Not sure there's another attempt in me, but anyway, provocative article about something so important, and that I think ultimately FP will really advance the way people think about the world, if only in another generation or two.
Madlad
You are confusing IPv6-only and running an IPv6 core. Those are not equivalent.

>It will probably not be the hosting company paying for the IPv4, but rather it will be the end customer, and they may not want to pay.

Of coarse it will be the hosting company paying for the IPv4 addresses as they will be the ones owning them.

Of coarse the end customers will complain and not want to pay, but pay they will as they have no other choice.

It’s neither here nor there whether the end customers run IPv4 or IPv6 internally, it’s the public IPv4 addresses that matter.
No they are not. Wall street is a cancer for the economy that lives on fees for allowing people to participate in an elaborate gambling game. And due to their influence in US politics, they have forced everyone to play the game, under the false premise that the stocks will always go up. Except they are not, check the European stock market that has stagnated for decades.

Companies can find investors without the stock market. Companies can pay dividends to their owners & employees. No need to have an additional speculation layer for fund raising and profit distribution.
Are you proposing forced sterilization of people that have received their longevity treatments?
>That covers enough to get you off of VirtualBox or whatever other bad hypervisor you’re using

What's the problem with Virtualbox? Never had any problems with it, works perfectly. Please don't say Oracle = bad, that's not an answer
We had flood warnings a few years ago in the central valley. California has always been boom or bust for water.
HTTP/3 From A To Z: Core Concepts
The other day there was a thread about how many HNers enjoyed using TikTok. They are progressing quickly and many seem unwilling to acknowledge it.
I am about to blow your mind with this crazy thing called "situational irony"
The news article seems somewhat exxagerated don't you think, if you look at the data [0]?

[0] https://old.reddit.com/r/europe/comments/p44g3f/germanys_gre...
You might look at the politics around building a desalination plant near Monterey. A lot of people are against building the plant because they think we can avoid it through water conservation and a water reclamation project.

Although I haven’t studied it enough to say for sure, this seems short-sighted to me. In particular, the water restrictions prevent building more housing, and existing water sources seem vulnerable.
I am really impressed with swift. I think its good to have both in your toolbelt if you have the time for it.