skysight-inc/HackerNews huggingface dataset:
Except I never dismissed this point. The problem with your post is that you assume I categorize design as something useless. I have not. Obviously there are tons and tons of things within the universe where the only possible solution is design. I am not arguing against this.

I am talking about a very specific aspect of the usage of "design" within software. I am specifically complaining about the endless iterations of exposes on software design patterns and architecture. The trends where history continuously repeats itself with FP becoming popular OOP becoming more popular than FP becoming popular again. What about the whole microservices/monoliths argument where monoliths started out more popular than microservices became popular and now monoliths are coming back into vogue again? Endless loops where nobody knows what is the optimal solution for specific contexts.

These are all methods of software organization AND my point is that THIS specific aspect of design is ripe for formalization especially with the endless deluge of metaphor drenched pointless exposes on "design" that are inundating the HN front page feed. It's obviously an endless circle of history repeating itself. I am proposing a way to break the loop for a specific aspect of software by pointing out the distinction between "design" and "formal theory." We all know the loop exists because people confuse the two concepts and fail to actually even know what to do to optimize something.

System architects are artisans not scientists and they will as a result suffer from the exact same pointless shifts in artistic styles/trends decade after decade and year after year as their artisan peers do. Totally ok for styles to shift, but our goal in software is to converge at an optimum as well and that's not currently happening in terms of software patterns and design architecture.

The path out of this limbo is to definitively identify the method for optimization formally, not add to the teeming millions of articles talking about software design metaphors.
Another commenter mentioned this, but it's important to understand the net present value calculation, which is:

NPV = Rt / (1 + i)^t

Rt is the incoming cash flow at time t, and i is the discount rate. This is the "theoretical" way that businesses should be valued: estimate their future cash flows, then discount them back to the present to take the time value of money into account (of course, in the real world, there is a lot more that goes into the price of stocks).

The issue is that as the discount rate approaches 0, the net present value then equals the same as ALL future positive cash flows. For large, perpetually operating businesses, this can then turn into something between "a lot" and "infinity".

Again, there are lots of other things that go into actual stock prices, but our economic system really is in new territory when the discount rate approaches 0 (or heck, goes negative!)
I see you've revised your comment from 3 days ago, where you made the more sweeping statement that "the longer you use C++, the more you despise it".

My experience is that C++ is complex, but it gives you power. I think whether or not you like the complexity of C++ depends very much upon whether or not you _need_ the power that comes with it. If you do not need the power, I can understand your argument that a simpler language is preferable.
Do you have a picture of what it looks like? AFAIK room-wide noise cancellation can't work because noise cancellation requires the exact position of the listener to be known, otherwise the sound will not be canceled out and might even be amplified. see this animation: https://en.wikipedia.org/wiki/File:Two_sources_interference...., if one of the wave sources is the AC and the other is the noise cancellation machine, only some areas will have no sound, but others will have even louder sound.
> We may attribute normal object-oriented semantics to the above gif, concluding that “a cat is dancing.” However, we may also attribute functional semantics, concluding that “a cat has arms above its head on frame fᵢ.”

in that case, without adding impure statefulness, how does one differentiate between "a paused frame is being displayed" and "an intermediate frame of a playing video is being displayed"

--

then at the end, the example from elm looks great, but i see lots of impure state being generated (browser, model) or am i missing something?
Confirmed on an iPhone 11 Pro running iOS 14.2. Not a true restart for me, but it does kick you out to the lock screen. Crazy.
I've been feeling that way for a decade at least. As someone once said, the market can remain foolishly optimistic longer than you can remain solvent (while shorting an over inflated stock).

Never underestimate the power of everyone doing crazy things to make them not crazy. Housing prices in the US have been crazy long enough that the whole system is bought in to these levels it seems. Of course reality could be different in a few weeks or months but the bubble in real estate has been going on for a significant fraction of my adult life.
I'm not saying completely replace AC. I'm saying homes could, should have both. The lighting circuits could be exclusively DC LED powered by solar/home battery which would be zero maintenance compared to current LED lights which have a bundled AC/DC converter in the bulb that fails way before the actual LED fails.
>So, what, the swastika iconography and neo-Nazi decor/flags not enough for you?

No.

Behold a Nazi:

https://old.reddit.com/r/goth/comments/ire2cs/what_is_up_wit...

The sinequanon of American consumer culture is style over substance.

Want to be a Nazi? Buy this flag.

Want to be a Communist? Buy this beret.

Never mind seeing what the ideology actually stood for. That would require an uncomfortable, and possibly dangerous, amount of thinking.

>And there are plenty of college students who genuinely believe in communism.

No there aren't. There are plenty of college students who like social democracy, there are very few who want to empower the working class American - fat, white and 40.
agree with you completely
> For example, I bought and sold Virgin Galactic 3 times over the past 13 or 14 months
No longer working for bad clients.

There are so many bad clients out there which will actively hurt you to press the most benefit out of you until you drop. dead.

you can only hurt me once. the second strike is only possible because i did not quit the first time. So it is my fault.
It's a perfectly reasonable example. Most complex systems share those properties. It makes glaringly obvious that isolating blame/personal responsibility has limited effectiveness in preventing accidents. While we need a blame assignment system that's clear to reason about for financial reasons, for other systems where that need isn't so great, more effort ends up getting spent on figuring out how to prevent outages than assigning blame for them.
Cloudflare Pages (Beta)
Phil Niekro, Hall of Fame Knuckleball Pitcher, Dies at 81
ARK put out a prospectus that details where they feel Tesla's revenue may come from. Scroll down a page or two and you'll see the tables they're using.

https://ark-invest.com/articles/analyst-research/tesla-price...
A number of actors in the industry will disagree with you. Nvidia after careful analysis decided RISC-V was the superior replacement for their general purpose Falcon Chip: https://riscv.org/wp-content/uploads/2017/05/Tue1345pm-NVIDI...

Dave Ditzel, who is no dummy saw RISC-V as the better choice for the machine learning accelerator Esperanto Technologies is building:
https://www.eejournal.com/article/another-risc-v-religious-c...

There are numerous research articles and examples online of companies deciding on RISC-V and their reasons for it.

Unless I misunderstand I cannot see how OpenPower matches RISC-V at all. It is a large ISA, which means you don't have the option of making e.g. small specialized co-processors based on the ISA. Nor can you make simple CPUs for the microcontroller market.

The RISC-V BOOM has half the silicon area requirement of a comparable ARM Cortex CPU, is OpenPower based chips able to match that?

If you already have a large instruction-set I don't quite see the value in an extendable ISA. You cannot keep the ISA lean as micro-architecture best practices change.
I don't understand either. In fact, active noise cancelling pilot headsets are usually more comfortable and less tight fitting. This is because by being noise cancelling, these can get away with lighter passive noise isolation.

The only kind of injury I can think of is related to being less aware of your surroundings.
Responding to the question, and the comments:

It could be worse. Much worse. It could be the great depression, caused by massive shrinking in the money supply. Nobody likes growth in the money supply (well, ok, debtors do). But, it's better than a shrink. Or as Ray Dalio sorta says, a beautiful deleveraging.

Yes it's a bubble, defined by everyone saying it's not a bubble. Is TSLA justified - no and yes. Purely monetarily, no. But in relation to all it's competitors yes. They're all FUBAR. Most of them don't have a clue about either EVs or self-driving. They are horse carriage companies in the age of the Ford Model T.

Relative to their competitors, yes, TSLA should be ahead as a measure of future growth, or future ownership of the transportation sector. There is little doubt how clueless their competitors currently are. But it's still arguable TSLA is ahead of the curve a little.

Will TSLA come down? Different question. Now they're in the S&P 500 this isn't simple. Probably not. If you transpose or invert the question - who will challenge TSLA? Crickets. Silence. That's why TSLA is so highly valued. There is nobody even close. LOL NKLA.

Will tech stocks come down? Yes, but there's many ways to think of it. Will covid end? Yes, this too shall pass. tech stocks will come down but relative to what? The dollar? Maybe. But more likely everyone else will catch up a little.

Stepping back - let's ask a better quesiton. Who's long tech stocks? What would you bet tech stocks go up (a dollar? 10 dollars? 100 dollars..?). These questions are better asked as bets or about current positions.
To be fair. You said that I was under an illusion first. That definitely pissed me off a bit. I just subtly returned the favor and forgot about your indiscretion as it's not a big deal to me. It obviously is to you.

You're free to leave and continue at your own discretion.
Even from the battery attached to your house? I'm not saying power every appliance, just have both DC and AC circuits in the home. DC circuit would power "DC native" things like LED lighting and computing devices, while AC would power "AC native" things like motors. By using AC everywhere we have to bundle AC/DC converters for every lightbulb in the house, and in my experience those converters are prone to failure way before the LEDs themselves.
“Stability, not guidance” — its sort of like “tax avoidance, not tax evasion”.

I’m not sure what the defined red lines are in the US, but most people building rockets big enough for the feds to worry about are following the model rocketry code and associated with NAR/Tripoli, so at least have access to more expertise to help follow the rules.

Getting the big motors requires multiple certs from those orgs, so the system tends to be self regulating to some extent, since you can’t test your code without the hardware.

I know Joe Barnard of BPS has mentioned a few times that he doesn’t release his code because the laws are unclear, and lawyers familiar with them are expensive.
Been saying this for years. Instead of (or in addition to) growing almonds in the central valley, requiring large irrigation inputs, we could be growing hybrid hazelnuts in the northeast. Just one example. Not saying it would have equivalent profitability, but I have a hard time believing it would be less efficient or profitable than vertical farming with external high energy inputs.

There's plenty that can be done in traditional agriculture.
Don't forget that skin friction against the air also resists the rotation force, and does so to the tune of the square of velocity.
The Land of Cockaygne
It's probably worth adding a css cursor rule so users can tell that things can be dragged when they mouse over. That said: I'd love to see the more detailed explanation that guides your algorithm. Because auto-curvature is always useful (ever since Knuth wrote down metafont ;)
The fundamental problem is the opposite one: it's the world that throws away intermediate states, and that happens whether you want it to or not. Unfortunately for FP afficionados, physical reality runs with autocommit set to True.
That's a good story. I ran into the same issue when I wrote Actually Portable Executable. Most operating systems and libc implementation have been "ported to death" in the sense that it's nearly impossible to determine the actual typing of interface structs and typedefs, due to a labyrinthine web of #ifdefs and macros. So most of the time, rather than reading the C source code, I'd just read the object disassembly and STABS listings. It's very disheartening that open source can suffer such tragedy of the commons that the source code is less useful than the binaries. Tyranny of the minority.
Worldwide, life is better for billions of people.

Life in the United States was better for most Americans in the 80's than it is now. That was the beginning of the decoupling of productivity from pay, and it has been ongoing ever since.

https://www.epi.org/productivity-pay-gap/

It's ok to both acknowledge the developmental progress of the rest of the world and lament the backsliding of the US.
> l until Github provides better.

https://github.blog/changelog/2020-12-08-github-discussions-...
Came here to make a stoop ball comment. Played it (and wiffle ball) throughout my childhood at my grandma’s house in Brooklyn.

Tried playing again about 10 years ago (in my twenties). The shoulder pain didn’t go away for a week. Can’t wait to blow out my shoulder again teaching it to my kids.
Very cool, and I like it a lot. Regarding the prototype/POC, did you ever consider writing the editor using SVG instead of canvas? And if you did, why did you go with canvas?
I recommend this channel to everyone I meet--it's arguably the best on YouTube. Here's my favorite from that channel:
https://www.youtube.com/watch?v=Sbgpjcf-i8I
Science Confirms Plato's Theory: Earth Is Made of Cubes
Read the conclusion, imho, this is very interesting:

“ We also concluded that at the current time of the study, most intelligent life in the Galaxy is younger than 0.5 Gyr, with values of probability parameter for self-annihilation between 0 - 0.01; with a relatively higher value of the annihilation parameter (≥ 0.1), most intelligent life is younger than 0.01 Gyr.”

If other intelligent life is very young (just like us) could there be more room for understanding if we ever communicate?
I maintain a JavaScript library that does exactly this (called ip-address). Unit tests are very important for handling the esoteric formats, though there are a couple that were new to me in David's post.

One of my motivations for writing the library was being able to grep for IPv6 addresses in text files; it's surprisingly difficult to match all valid representations of a simple IPv6 address as seen in the example here:

https://twitter.com/beaugunderson/status/527393872909828096

I also maintain a site for examining IPv6 addresses that may be useful to people working with IPv6:

http://v6decode.com/
“The need to turn differences in reading and opinion into a no holds barred psychological fight is genuinely toxic.“

I agree. That’s why I think it’s a bad idea to tell someone that something they are responding to isn’t present. Avoiding bulverism is a good step to avoid bringing things into the psychological realm. Knock it off!

I get that you have a different understanding which is reasonable, but that can be expressed without telling someone they are misunderstanding.

“If you're going to accuse someone of gaslighting, then do everyone the favor of actually paraphrasing their arguments correctly.”

I didn’t paraphrase anyone’s arguments. I copied and pasted. Unless you have edited your comment in the meantime, what I said you said is literally a copy and paste from your comment.

I also didn’t accuse you - I asked if you were doing it, because that’s what it looked like. I see a lot of casual gaslighting of this kind in public discussions.

The GP clearly is arguing that Scandinavian counties are run better. They are also arguing that NZ is run better than most of the US, and that the US is more poorly run than other countries.

You read the GP’s comment through the concept of a ‘core’ argument, which excludes some parts of what the GP said as simply examples. I think the parent reasonably doesn’t use that concept, and sees more than one argument being made.
> The only software I can think of for users that doesn't use an API is maybe on an embedded microcontroller. Everything uses APIs.

I understand that all software uses APIs, but TFA is about API-first software, meaning an API (designed for other software) as the primary interface to a product.

> The conclusion is that software wasn't always built with web APIs, in contrast from APIs in general.

Everything on the web has an API (or user agents wouldn't work), which is why I'm asking. APIs are how the web works.
Comcast will raise prices for TV and internet in January
> Re macros: I think this is entirely a cultural thing.

I suspect there is also a generational divide.

Lisp is such an old language that I often wondered if it has so many macros because they didn't have the equivalent of "defun-inline". ie. That far too many usages of macros in the Lisps were for performance rather than for abstraction.

In modern languages, though, macros are really the only way to get at something like the AST of a language and act like the original developers of the language. I personally approve of this--the Go "Me, but not for thee" attitude of the language developers pisses me off.

However, given such power, usage of a macro should set off your "I'm using a macro. This language ecosystem is deficient somehow". And that should give you pause and you should ask "Am I really adding something to this language or am I just carrying over my habits from other languages?"

Finally, using a macro merely for "abstraction" should set off gigantic klaxon warning bells. A macro has to pass a really high bar if you could actually do the task with just functions and a little extra bit of keyboard typing.
TSLA is easily justifiable. Their entry into other markets, like home-installed batteries (PowerWall), solar roofs, HVAC, home automation, trucking, robo-taxis, etc. all make it very attractive. Even just selling their batteries at retail stores like an Energizer or Duracell would add a few billion to their revenue stream. They’re a solid 5 years ahead of competitors in terms of battery and self-driving capabilities.

Besides, even if none of those bets pay off, they still sell 3-5 million cars a year at over $50k per unit, and waiting lists for more buyers and don’t pay a dime to a dealer network. Once their fully autonomous self-driving software is released, I see them at a $1 trillion valuation (roughly $1000/share) easily.
It always bothered me that Github uses “Issues” for the name of the discussion board, as if encountering problems is the only reason to engage in conversation with the author.
Endnotes on 2020: Crypto and Beyond
I can't imaging a project aimed at reverse engineers would be the best place to try to hide that sort of thing. Ghidra is open source, you are free to audit and build it yourself if you are concerned.
Any greenhouse environment, hydroponic or not, tends to require high fungicide and insecticide inputs -- at least eventually -- because it's essentially an all-you-can-buffet for pathogens. You could be fine, even excellent, at first, but with no competition or diversity to head them off, pests can cause extensive damage once they get into the system.

It is true with integrated pest management and careful observation you can be a little more calculated and strategic in a closed environment. Until something comes in on your shoe, or blows in through a door left open...

(Took greenhouse mgmt courses before, though I've never worked in the horti industry)
Can confirm, the Model3 is not a wonderful place to be at 80 MPH. Wind a tire noise is embarrassingly bad for a car that can be optioned out to $60k.
I suppose the feeling itself came from comparing myself to others (which is natural), and it was having some success in some field relative to others that gave me the feeling like I could succeed, I wasn't behind everyone in everything, forever. I guess for the mental health aspect of this, it's probably good to pick something you are good at, better than others, and actively appreciate it. It's not good to feel completely behind in all things. Good luck! :)
The conditions are so good that the farm produces 400 times more food per acre than an outdoor flat farm.

This author must have a truly low opinion of me to think I'd fall for that horseshit. Before you can tell what effect the conditions have on yield you have to compare the grow area. Each vertical pane contributes to the grow area. What is the grow area of the vertical farm? It's not even in the damn article at all. What's the cost per kilogram of plant matter? Per kg of dry yield?

Plenty’s farms grow non-GMO crops and don’t use herbicides or pesticides.

Ah, there it is. This isn't a project to save the world; it's a project to lure investors and then lose money for ten years before getting bought out and shut down.
The Legend of Silicon Valley’s Flying Saucer Man(2018)
For those of you following at home, the discount rate is correlated with the federal interest rate.
Go's austerity is an acknowledgement that C's austerity is a net win (as long as you fix some of C's well-understood deficiencies; e.g., you're better off with slices and maps built directly into the language)
Aftermarket options can be purchased to mitigate discomfort from ear protection equipment.

The Sightlines Gel Ear Pads from NoiseFighters is a popular option for earcup replacement.

The IceVents Classic Ventilated Headband from Qore Performance is a popular option for headband replacement.
Looks like a clone of Joe’s work. Sensors, capability, and even board layout are quite similar.

Surprised there’s no mention of Joe and his “AVA” on the git.
The free AdGuard on iOS blocks all YouTube ads for me as long as I use Safari to watch.
In my workplace one or two people will poke fun, but it's not a hostile environment and can be taken in good faith, or riposted with some friendly banter.

Practically speaking, it helps get my work done.
> They are horse carriage companies in the age of the Ford Model T.

I disagree. If you discount self-driving (and I do), then there are clearly other manufacturers who know perfectly well how to produce an EV. I own both a Tesla and a Bolt, and neither is a clear winner over the other. They each have ups & downs, but in any case GM produced a perfectly good EV. And Ford's Mach-E appears to be an improvement on Tesla's Model Y. The game is on, and the big boys seem to know the rules.
MuZero Intuition (2020)
Fundamental Linux filesystem tool: thoroughly Search, Filter All
Exactly that.

This means accepting loss and hurt.

Definetely a very hard thing to do if the bad people are familiy.

Might be impossible if the bad person is your spouse and you have kids. Might mean that your kids are retaliated on.

but the most difficult thing is to be sure that they are the bad people and not you yourself. If you don't struggle with this then you might be the problem - Not them.
You can use pmr and then do no allocation in std containers.