skysight-inc/HackerNews huggingface dataset:
How do you track dependencies of dependencies. Do you need to manually add the full dependency tree and re implement the dependency tracking through your internal system? If a project uses maven or gradle, you need to rewrite those files to point to your internal builds instead?
As it is 'tiny' I think people expect some kind of size indication?
Who said they aren't needed? They are the structure that supports Lisp's simplicity and consistency, which is what the good things come from. If you take them out, it gets complicated and isn't worth it.
Another workaround - block the notifications at the OS, not inside the app.
Sure. But you should steal it without permission.
I am not surprised. In the last few hundred years one of the more important social etiket was to use the correct title and social gesture. People could get lynched/beaten if incorrect behavior was given to an important enough person or group. Unproportional and often extrajudicial in their application of violence, but far from unprecedented.

From a historical perspective all that has change is which group is important enough and what titles are deemed socially required.
"Hey all, I'm Simeon, the developer advocate for Chrome extensions. This morning I heard from the review team; they've approved the current draft so next publish should go through. Unfortunately it's the weekend, so most folks are out, but I'm planning to follow up with u/gorhill4 with more details once I have them."
Bullshitter, bullshit thyself:

Bullshit.js is a bullshit, bullshit bullshit JavaScript bookmarklet that will bullshit you to evaluate the bullshit of bullshit text on any Web resource, cultivating bullshit bullshit and bullshit thinking.

I love the expression, "cultivating bullshit bullshit and bullshit thinking". Ironically, it really cuts through the bullshit of "cultivating process-centric innovation and out-of-the-box thinking".

Brings to mind the good old Dada Engine, which was a great practical introduction to Markov chains:

http://dev.null.org/dadaengine/
The top ranked comment on the page is a call to switch to Firefox. Google clearly does not have a monopoly on browsers, and we should let the market decide which extensions policy is preferred.

Now, whether Google is abusing its monopoly on Search to prop up its Chrome install numbers is a different matter.
Pedagogically, the challenge to teaching linear algebra is that you start with "here's systems of linear equations, we can put them into matrices and now here's row operations to solve them," and you end up with "now matrices are actually representations of linear operators on vector spaces, let's analyze the properties of this specific operator." Usually, this is also coupled with a reluctance to actually discuss vector spaces, since the meat of it involves abstract algebra, which usually comes after linear algebra.

Failing to tackle this challenge appropriately can leave students confused about properties that seem apparently random (trace and determinant are big offenders here), or textbooks bringing something up only to never mention it again (null space is often an example here). On top of this, there is also the multiple notation problem (admittedly, not as bad as calculus, where there are too many notations for derivative) and the minor issue that many of the algorithms taught in the book aren't used in practice because of numerical stability issues.

It has been so long since I've taken linear algebra, and I've taken abstract algebra courses since then, that I can't really compare this book to the approach that I learned. Skimming the book, the thing that jumps out the most to me is that LU factorization and determinants are shoved surprisingly late in the book [1], and eigenvalues are "previewed" quite early. I'm not sure that's a good approach: LU factorization is important because backsolving the L and U matrices is more numerically stable (and sparser, when you're dealing with sparse matrices) than the inverse matrix, and it works even if your matrix isn't square. Furthermore, determinants tie in better to row operations, and their weird application with Cramer's rule is another way to solve a set of linear equations: you don't want to introduce Cramer's rule months after you finished treating matrices as stepping stones to solving linear equations.

The book does cover vector spaces, although in a bit of a dance around not covering abstract algebra. I'm not sure it's an effective introduction of vector spaces, although it could well suffice to ease the pedagogical trap mentioned earlier. On the other hand, if it's going to dive that far into vector spaces, it would probably be helpful to have some more sections on matrices over fields that aren't real numbers (i.e., complex numbers (make sure to mention conjugate transpose and Hermitian matrices!), rational numbers, and finite fields).

[1] Strassen's algorithm for matrix multiplication is described before LU factorization, to give you an idea of how weird the ordering ends up being.
In the same way it's an improvement over other Lisp dialects. There's no huge hole in Arc that Bel fixes. Just a lot of things that are weaker or more awkward or more complicated than they should be.
They failed to turn those into end-user products. But according to Alan Kay, the royalties from the laser printer alone were more than enough to pay back all the costs of running PARC in the first place.
>It's a slow and costly process, but it gets the job done and it made me wonder if there are algorithms like that, that can compute results otherwise uncomputable.

Oddly enough, caching? Something you couldn't possibly compute with a reasonable response time is simply cached the first time and served until it expires.
I find it revealing that this is appearing in such a mainstream, non-techie venue. It would also be nice if in the installer did a sweep of the applications folder and listed which applications are incompatible, then gave users the option to update, rather than updating, then leaving a shit surprise. To my knowledge that's not how the installer works right now.
Very good compensation, you can retire earlier, etc.
Talking about living in other places - you can leave in Siberia believe Arctic circle and still have -40C for a long time, etc.
Well, those are to some extend exceptions, if a browser has major marketshare, then any change implemented will have to be implemented by others. Google doesn't have to stop implementing them at all, no matter the response from devs.
Fixed: https://www.reddit.com/r/chrome/comments/dgoymg/warning_ubo_...

> Hey all, I'm Simeon, the developer advocate for Chrome extensions. This morning I heard from the review team; they've approved the current draft so next publish should go through. Unfortunately it's the weekend, so most folks are out, but I'm planning to follow up with u/gorhill4 with more details once I have them.
I use greasemonkey in Firefox. Tampermonkey does the same thing. See my comment https://news.ycombinator.com/item?id=21191539 for changing font sizes. It's your browser (mostly). You can change anything you want (mostly).
> paying for any broadcast, cable, or satellite communication that mentions a candidate within 60 days of a general election of 30 days of a primary.

> The case did not involve nor did the ruling change the law on campaign finance.

You’re right. And I was inaccurate. What we’re discussing is the rise and unregulated use of PACs and Super PACs to influence elections.

This is an issue for fair elections and democracy.
>Bel is an attempt to answer the question: what happens if, instead of
switching from the formal to the implementation phase as soon as
possible, you try to delay that switch for as long as possible? If
you keep using the axiomatic approach till you have something close
to a complete programming language, what axioms do you need, and what
does the resulting language look like?

I really like this approach and have wondered in recent years what a programming language designed with this approach would look like. There are a few that come close, probably including Haskell and some of the more obscure functional languages and theorem prover languages. Will be really interesting to see a Lisp developed under this objective.

>But I also believe that it will be possible to write efficient
implementations based on Bel, by adding restrictions. If you want a
language with expressive power, clarity, and efficiency, it may work
better to start with expressive power and clarity, and then add
restrictions, than to approach from another direction.

I also think this notion of restrictions, or constraint-driven development (CDD), is an important concept. PG outlines two types of restrictions above. The first is simply choosing power and clarity over efficiency in the formative stages of the language and all the tradeoffs that go with that. The second is adding additional restrictions later once it's more clear how the language should be structured and should function, and then restricting some of that functionality in order to achieve efficiency.

Reminds of the essay "Out of the Tarpit" [1] and controlling complexity in software systems. I believe a constraints-based approach at the language level is one of the most effective ways of managing software complexity.

[1]:https://github.com/papers-we-love/papers-we-love/blob/master...
The landmark laws have had essentially reverse blockbusting/gentrifying effects in poor neighborhoods in New Orleans like Tremé. It’s not uncommon for speculators to call in violations like broken stoops or split porch railings and then the same speculator leaves flyers in the mailbox of the “violator” offering to buy for a knockdown price...
I find this city fascinating for some reason. It's something about the fact that it's so harsh, but humans are still able to live there. Here's a YouTube video of it that makes it look almost artistic:

https://www.youtube.com/watch?v=ks9E9XQp_2k
Try it and see, I’m very happy with it. You can even specify that any time you go to a particular domain, you use a specific container. Great for separating work from personal for a work machine.
A Relationship with Jeffrey Epstein That Bill Gates Now ‘Regrets’
Objective-C's OO model is far more dynamic than you may realize. There're no guarantees even on the object reference type at run time, i.e. that the method you are calling will be applied to an object of a specific type or compatible. ObjC is very permissive in this regard, though it can give warnings in certain cases but they are never 100% precise (from my experience anyway). You could run analysis on the entire end product and still be unsure of what's going to happen at run time.
A counter-example I can think of is iPhoto/Photos, which seems to have just gotten better and better for me. But it is tightly integrated with iCloud so if you don’t use that I could see how you consider it to be getting worse and worse.
I made a spaced repetition social media website
The idea is that people see a lot of stuff that they find insightful, but then promptly forget. My social network (named Perennium) is a place for people to post insightful stuff and interesting ideas they find or think of, and others can “spotlight” those so they’d see them again every once in a while and it sticks in their mind.

It’s basically a social network centered around spreading timeless insights and interesting ideas that utilizes memory techniques to help you remember what you've learned.

The website is called Perennium and here’s the link to it: http://perennium.io (currently only works well on desktop)

I’d really appreciate if you could join it and give me some feedback. I hope it will be useful for you!

(I don't know if this belongs in Show HN or regular HN, since it is a product I want to show you, but it's not in beta. I'll repost as Show HN if that's where it belongs.)
This is another great example illustrating the need for reproducible research practices even in the hard sciences, in this case so that the papers in question could be easily checked after Luo's excellent finding.

For an earlier discussion on the same topic, referencing other discussions: https://news.ycombinator.com/item?id=17819420

(Top comment: "This article harkens back to discussions of the "reproducibility crisis" in science, as discussed extensively here just recently (see link below). Where, in this case, not coughing up the code used in the simulations in a timely manner led to an apparently unnecessary multi-year dispute.")
Not defending Apple here, and no offense, but it baffles me when people only consider the short term consequences of actions. Can we all just stop for a moment and think about what would actually happen if Apple kept resisting China's requests for censorship? It would not only lose a huge revenue source, but more importantly, the whole world would lose a great medium for providing Chinese people with means of communications. Communication is the first step for any change in a society. In other words, Apple is indirectly helping the Chinese with their quest for more freedom of speech. Do you seriously rather Apple be banned in China and be replaced by other Chinese companies (e.g. Huawei and Xiaomi) who have been working with the government?

Now, of course it hurts to see these things happen, but that's jut the complexity of the world we're living in. On the other hand, if Apple were to collaborate with the Chinese government on providing backdoors etc., it would be a whole other story.
I don't doubt for a second that money laundering and tax evasion services are very lucrative. Look at Cayman Islands. Their per capita GDP (PPP) is higher than in the States!

If you are in the business of offering furtive financial services it makes total sense to stay abreast with the times and add crypto to the portfolio. It's a great instrument for both money laundering and tax evasion.
I'm wondering if this is what it will take to finally push politics out of software development.
Exactly. Which will take a few seconds with Bitcoin.
I mean that this:

func MyOption(arg int) Option {
return myoption(func(opts type) { opts.thing = arg })
}

will result in this:

MyOption(5) == MyOption(5) // false

Which makes it a pain in 1) testing, since you can't see the options that were passed, and 2) middleware, since you can't see the options that were passed, to validate or extend them safely. And 3) debuggers or Printf since you can't see the value in the closure until it's executed.

Instead do:

type myOption int
func MyOption(arg int) Option {
return myOption(arg)
}

since it has none of those problems.

Whether you use the "loop and opt.apply(arg)" pattern or not doesn't really matter - that's a purely internal detail (personally I find it over-simplifies things and causes problems). Just "avoid passing values through func closures".
The only really nice-looking one I’ve found is Casper Glow: https://casper.com/glow-light/

However, I don’t know if it counts, medically speaking, and the marketing page is careful not to make any actual claims.
Not sure I follow you since you can use a bookmarklet on any content, including your own.
> you cannot retrain a few billion people by public shaming

There have been many cultural revolutions throughout history where a group tries to retrain millions through shaming, reeducation, force, policy, banning, censorship, etc.
U Visa
I find my dichotomy a lot less remarkable than "the problems with Macs are only an issue for programmers." Any user who types lots of emails could be suffering but complaints about the circumstance are frequently dismissed on HN with comments to the effect of: "you're a programmer and therefore weird; your needs are weird and therefore your complaints are irrelevant."

(Also, comparing anything favorably to windows should be considered damning with faint praise. Windows is notorious for being trash.)
I'd love for this to be the case. I have a handful of raspberry pi projects that I just want to boot and run a single executable. I don't need or want the rest of the OS included with the likes of raspbian etc. I'm currently working on a dietpi customization but this would be even better if it worked.
Switched to FF and DDG a while ago. I am happy and very rarely use Chrome or Google search.
The pushback is totally justified. Because this is about "you have to say what we command you to", instead of "you should just not be a dick".
I feel like, where feasible, scientists should adopt Kubernetes or something so that the software they use is repeatable.
A bespoke, cutting edge augmented reality solution that truly changes users' experiences using big data and artificial intelligence. 10/10
I believe some people have narrowed it down to retina screens set to a non integer scaling.
My electricity was shut down for 15 hours. There was no wind, no heat and I live in a city. At least in the South Bay, there was no wind at all.
This is weird, I was asking on a totally different thread. Not sure what happened.
You seem to have missed the point of the comment you're replying to, which already acknowledges that scope-limiting is a good thing to do.
Interesting photo, thanks. I was thinking that the top would buckle at the point of impact and fall sideways.

Compared with the B-25 collision with the Empire State Building, the B-767s are over 10 times heavier, were moving more than twice as fast, and the WTC has half the cross section of the Empire State. Plus, the fuel load of the 767s is comparably greater and causes a greater fire. https://en.wikipedia.org/wiki/1945_Empire_State_Building_B-2...
I agree that there should be more emphasis on the mutability of scientific knowledge when things like this are presented, but I think your claims about the nature of scientific hypotheses have some problems:

Suppose I form a scientific hypotheses P. By your claim it cannot be proven true, just disproven later on with new evidence. That is, P is not probable, but ~P is.

Then, later, I form a second scientific hypotheses which happens to be the negation of the first: ~P. Again by your claim, ~P is unprovable but its negation, P can be proven.

This is a contradiction, either P can be proven or it can't.

I think you're actually talking about a scientific theory, which can not be proven true but which can--as evidence comes to light--be shown to be less useful than alternatives and therefore not fit for maintenance (which is not the same as being false).

The trouble with climate science is a separate one. Causation can not be separated from correlation without experiment. Experiment requires both a control variable and an experimental variable--but we only have one Earth to dick around with, so there are no experiments available which will generate a definitive causal argument for cause regarding the global climate.

Rather than arguing about whether there is cause (behavior that the Smithsonian rightly dislikes), I think that we should instead accept that the cause question is unknowable and focus instead on how we as a global culture intend to gamble on it. The debate would focus on similar issues, but be couched in different terms and I think there would be less digging in of heels.

I'd say that the Smithsonian, like most advocates of scientific authority, appears to be more worried about being right about P vs ~P, and less concerned about moving stasis forward so we can actually make the best gamble that we can.
Vimeo works with youtube-dl. Probably VLC.

Video viewing (as opposed to previewing) really belongs outside the browser anyway.
Too bad. I use Brave browser at the moment as an alternative.
So this is neat but I just want to point out the #1 weather app in Japan (I think) is the Yahoo Weather app and it has similar maps

https://apps.apple.com/jp/app/yahoo-%E5%A4%A9%E6%B0%97/id521...

I also want to take a moment and mention that I'm frustrated that Apple and Google apparenrtly don't care whatsoever how good their weather predictions are. I believe both use 3rd party services but I have screenshots and photos of them being hilariously wrong.

It also makes me curious, this seems like one of those big data things. Google and Apple should be able to know when their forcasts are off. They could easily test which services are more accurate for a given region instead of using just one global (and bad) weather service they're using now.
You have a response to what Dyson argues? No, so you instead cast a doubt on the entire argument - classic FUD.

Culture is not just influenced by scientific thought rather a lot of narrative based on emotion. Think how we are fighting LGBTQ+ and gender wars, when poverty is nowhere on any agenda!

BTW, I do not respond with position convenient for upvotes (a mentality I largely notice in the HN crowd), and it does not matter to me if the thread gets votes or not. I actually think these votes create perverse incentives that stiffle debate.
I thought the same for the first month or two, but as I started examining what it was doing and why, a lot of their choices made more sense.

Their contrainers are domain centric, not WI dow or tab centric. You can tell a domain to always be in a container, and then on the prompt to change contrainers when you visit th at domain, you can confirm to always switch.

Locking a window to a container would result in people following links and logging in again in accident in a different container, or being constantly annoyed that it wasn't the right one. If they closed the normal WI dow and kept that one, it would be annoying until they figured it out, and they would probably blame Mozilla thinking it a bug.

It's not a bad idea, but I can defi itely see why they would leave it out of the regular setup, as it's prone to causing confusion and only really useful for power users. It's ripe to be implemented as an additional addon though.

That's basically the process I went through with 3-4 other complaints I had. On actually thinking through it, they had one of the best sane approaches. Maybe when more people are familiar with the concept and how it acts and looks they can extend it, but there's only so much complexity you can push to the general public at one time.
As a reminder, Microsoft is the largest company in the world and has a 25% larger marketcap than Google.

I find it funny that so many people think Microsoft was "stopped" by Google. They adapted and they are stronger now than in the 90s as a business.
There is an excellent book about XM607/ Operation black buck written by Rowland White. It’s not just about the actual mission it’s also about retiring the Vulcan then bringing them back and all the other bit that led up to the mission.

http://www.rowlandwhite.com/portfolio-view/vulcan-607/
Same experience here. Browsing with Firefox increases my CPU temperature by 10 degrees.
I've always thought "browser performance" was a trope (relic?) from when tabs were new and chrome did tabs the best.

If I can't have ublock origin, I'm going back to internet explorer 11.
That makes a lot of sense, same as private browsing which opens a new window.
This is their new class, “Economy Basic”. You can’t pick seats, upgrade seats, etc.
"free movement" - false.

Why did people stay in Detroit when it was down? Moving is not as easy as it seems. Only very few have courage to leave their nest. But that's a whole different story.

In Russia, besides the fact that movement is not "free" because of propiska ( https://en.wikipedia.org/wiki/Propiska_in_the_Soviet_Union ), general conservative propaganda highly encourages pin-pointed "nationalism". You leave your city - you are a traitor, how could you leave your friends and family.
Thanks for clarifying, I was steering clear just in case it was bogus.
It's fortunate that taking only a week off programming doesn't dull your edge. That sounds nerve wracking!
If that's the hill chrome wants to die on then they can watch everyone install Firefox. The internet is unusable without an adblocker. It's very simple to just use Firefox, I've had no negative differences or learning curves from it, and previously would just swap between the two.
Have you tried ArchARM? It's pretty lean and fits into those old 512M SD Cards.