skysight-inc/HackerNews huggingface dataset:
Not necessarily; one need not make independent claims about plausibility of an assumption in order to construct powerful logical arguments around it.

What's a "powerful" logical argument?

I remember when GPT-2 first came out, OpenAI published an article it generated about the history of unicorns in Peru. Facile text was quite readable and apparently well written. That it's common knowledge that unicorns do not exist left the entire construct lacking believability.

Perhaps this "journal of controversial ideas" could publish an endless stream of automatically generated texts involving logical deductions based on arbitrary, implausible assumptions.

scientific arguments must also adhere to the rules of deductive logic

This statements sounds like it was written by someone with no experience reading actual scientific papers. Most papers from most fields use plausible arguments drawn from statistics and tradition.
PTXdist is also pretty good and very similar to Buildroot. My experience is a bit dated but PTXdist had better support for some boards than Buildroot.
Yeah just use the index of the card. For example:

cards.map((card, i) => {

const isLast = i === cards.length - 1

const className = "card" + isLast ? '' : 'card-margin'

return <Card className={className} />

)}

The nice thing about this is you have a full programming language at your fingertips. You could do something with every even card, ever prime number card, etc.
I math'd this out recently and decided that ~16:9 actually would be the ideal ratio for me.. On a ~42" 8k monitor, using 2x scaling.

I'm optimizing mainly for viewing three documents side by side here. Having your primary document (e.g. text editor or IDE) centered means you're not constantly turning your head one way or another. And it has the added benefit of working well for media (compared to 3 monitors in vertical orientation). At 8k and that screen size.. the aspect ratio doesn't matter as long as there's enough vertical pixels and inches.
There's a medicine against the CDN craze.

https://addons.mozilla.org/en-US/firefox/addon/decentraleyes...
I guess he better stay away from nuclear blasts then
Judge deals blow to Locast in suit brought by broadcasters
I mean honestly I look at the Coldfire MCUs and they're not terrible from a specs sheet POV. I have heard at one point that Coldfire was popular with people building network hardware because they are naturally network(big) endian. I believe Freescale made chips with onboard networking support specifically for that market, too.

I just doubt they can compete against ARM on price at this point. Or I suspect on power consumption.
I think it's mostly based on what dose sizes were used for both, Moderna used giant doses early on, roughly 4x what was really necessary on the optimal dosing curve.
Coincidentally, I also created a dynamic resume generator.
Mine is web-based and comes with a GUI to handle the filtering and display.

To the people reading here:
You can upvote my comment if you want me to host mine up for you to use it.
If there are enough upvotes to show demand for it, I will make the time to host it.
Its a little weird that the catastrophe described is about the warheads, not the loss of the whole crew. Though I'm sure it's about a billion dollar loss of hardware as well.
I would add to the list two more channels that were recommended by 3Blue1Brown:

- Welch labs https://youtube.com/c/WelchLabsVideo

- Think twice https://youtube.com/c/ThinkTwiceLtu
Be sure to check support forums, subreddits, yt review videos before buying a laptop. I wanted to buy a system76 laptop but after reading the subreddit there seem to be many people having problems especially with the build quality, things are just breaking after one or two years.

For now I'd just use a Thinkpad. Linux works great on it and if there are any problems it's easy to find help online.

The framework laptop has no official linux support yet. They have a forum where people share their experiences running linux on it and discuss problems.
At least on my systems, they were just files, yeah. Maybe we did something weird, but I ran yaws from debian for something and log files were just files there too.
Have you considered supplementation
Otp logs, at least in Linux, now "do the right thing". It's pretty recent though (2y? There was a major log system overhaul).
It's not Clevo, it's Qinghua
It seems like a strange test to apply that nonprofits are not allowed to expand - or more precisely collect donations in excess of their direct expenses, to be considered a nonprofit. That would seem to be a test that is statistically likely to shrink or extinguish nonprofits.
If it works better for inference, it could enable fast inference on devices which don't have good tensor cores/gpus
I somehow overlooked this when I originally read your comment (or it didn't register if I did read it):

> One cannot just ignore this decades long struggle of functional people bullying us in the procedural camp. [emphasis added]

"Bullying" is quite a strong word. What kind of bullying happens?

Besides the silliness of the term, the other thing I want to comment on: Stop being in a camp. The best way to stop learning is to assign yourself to a camp and to only do what that camp does and only believe what that camp believes. Expand your horizons, learn about other camps and why they do what they do and believe what they believe. You'll eventually learn that no paradigm is "right" (in an absolute sense) and that, instead, they all have right approaches to large portions of the problem of programming but wrong approaches for some (potentially substantial, but usually not) other portion of programming.
You can self-host miniflux, it has a content filter blacklist/whitelist (https://miniflux.app/docs/rules.html)
And Task, and Registry. Those don't exist in erlang, and they are fantastic.
> MADDNESS

I think this name really fits well to the concept. Replacing matrix-multiplication with some hash-lookups! (warning: an overly simplified statement)

This is a really interesting application of PQ(product quantization), which itself also requires learning (usually K-means). Paper: https://lear.inrialpes.fr/pubs/2011/JDS11/jegou_searching_wi...

Considering that ANN has survived through many approximations (e.g. lower precision, pruning), and that many ANN applications are anyway subjective (e.g. image processing, recommendation), I think this can be highly useful in many cases.
Those were my reactions, too! The one thing that I want the most whenever I have to jump out of the CSS per-processor world and write regular CSS.

It is worth noting that in SASS you can already refer to parent elements as they have shown with the `@nest` rule (apologies if I misunderstood what you said and you already know this). I do prefer the more verbose `@nest` syntax though, as the intention is clearer.
Computer Science doesn't mean empirical stuff only, nor does it mean evaluations with code.

Theory has its place, and so does systems work. No need to denigrate one or the other.
Perhaps that’s less about unions becoming less good, and more about the collapse of unionization rates? Union membership is at an all time low, Occam’s razor says that the fact that most people aren’t in a union is the most likely explanation for why unions haven’t don’t people anything good recently.
I love the idea of System76. But the low budget keyboards on their rebranded hardware don’t do it for me.

I heard they planned to manufacture their own machines recently, but I’d rather buy a ThinkPad for the awesome keyboard than gamble on whatever keyboard they’re using now.
Jan Misali is incredible, and 'There are 48 Regular Polyhedra' is an absolute fever dream. The idea of a conlang channel making this fantastically in depth video, complete with animation and weird monotone musical transitions, is just so funny to me.
I mean, bosses literally hired armed thugs to shoot labor organizers. There’s a damn good reason why labor activists don’t trust the bosses; they shouldn’t.
I invite you to read one of the published papers which does a fantastic job describing how little the scientific method matters when it comes to how people choose to interpret the data presented by the world around them. In short, if a evidence threatens their worldview, it is not believed.

1. https://www.journalofcontroversialideas.org/article/1/1/131/...
tbh I don't think most ideas in TCS are comprehensible to outsiders without spending at least a year or two building background with the state of the art. Even if you can design an algorithm, to get a good TCS paper you have to prove bounds on how well it approximates and/or on its running time.
It looks like it is a whole business acquisition so all of the business or nothing. My app business for ios has been around since 2009 so I'm less desiring to part with it. I can part with some apps that are basically feature complete, mature and stable income.
I recently learnt to differentiate notes in a scale using an app[1]. Basically, you listen to a few chords for musical context and then you hear a note and have to choose which note it as. When I started I couldn't do it at all. After a few weeks I was able to tell which note I was hearing pretty reliably.

I think the analogy to colours is absolutely correct. There's no calculation in my brain when I hear one these notes. I just hear it and think "That's a third". It feels exactly looking at a colour and thinking "That's red".

The fact that the identification is not a conscious thought leads me to believe that learning notes by relating them songs and musical phrases you know is probably not the best way to do it.

Note: this is not learning absolute pitch/perfect pitch. It's 'just' relative pitch, but having gone from not having that ability the change was quite large and quick.

[1] https://play.google.com/store/apps/details?id=com.kaizen9.fe...
I-probably-didnt-backdoor-this – experiment on supply-chain security
Great, keep doing! I'm curious is there any other possible leak attack vector.
That’s presuming that your definition of “useful” is more correct than the author’s definition, which strikes me as more than a bit odd.
It's probably a clever thing lawyers put in there. I doubt it's enforceable.
Using counters in CSS to number elements automatically
Why not? HN allows substack and the Cato Institute.
Erlang was a gateway to functional programming for me too, specifically Haskell. (And Emacs!)
I really like snapping windows to parts of the screen. Mac doesn't do this well.

Linux, well, I do a search for it, and get this: https://askubuntu.com/questions/26346/how-to-use-window-snap...

The first answer is great. That second answer is typical with every "how do I do anything in Linux" question. It's a chain of things I dread and I end up spending an hour because I forget to type "cd .scripts" and then get lost.

Copying and pasting a bunch of code also makes me wary. There's vague hardcoded stuff like 'Paste this in, and then change your mouse id from 11 to the number from the output of the "xinput list" command.'

Do you Linux users just apply random advice like that off the internets without seeing what every line means? Do you just sudo stuff because someone said so? Instead of a single possible security hole to check for by installing a thing, it's now multiple possible security holes to check on every line of code.

Worst of all, it probably doesn't do what I want it to do. I can't tell until I'm about half an hour into doing it. I just want to sort my windows neatly. This isn't worth it.
Your comment makes a lot of assertions without a single argument.
I like their desktops, but their previous laptops have been such painful generic Clevo machines.
I read it but your statement is illogical.
Just because you can do everything in JavaScript doesn't mean you should. The equivalent CSS is a lot shorter and more performant.

> every prime number card

You got me, CSS alone can't select only primes.
Main 2 points here would be simplicity of use (interactive interfaces) and not needing to use any specific shell signatures for granting access to AWS to processes on your system. It's just an alternative ;).
I’m also using Hyperkit w/ minikube, and after some heavy setup automation it works pretty great. What I worry about, though, is what I’m going to do when I switch to a Mac w/ Apple Silicon. AFAICT Hyperkit is x64-only.
Ted Lasso – the servant leader we need right now
I played a lot of football. Beyond poorly trained teenagers, I’ve never heard a coach or a player advise leading with the helmet. Body, arms, shoulders, pads yes. head? Nope. Too dangerous to the neck and head. When you play at the college/pro level, that kind of behavior will get you (literally) killed.
The Left is now too weak for democracy to survive (2013)
> The police can't stop homeless people from living there. All they can do is force them to constantly move around the city and take their stuff away.

Only because they decided to decriminalize homelessness. That was a willful choice.
Possibly, but since we’re hypothesizing: it could potentially be that unions are better suited for aiding those working in some professions and not others.

Perhaps highly educated knowledge workers can better manage salary/benefits and quality of work life better than a slate of hired guns?

Maybe because the skill sets and work output is generally more unique, knowledge workers can more easily move jobs than those who work in traditional union shops?
It was a fantastic experience, although TA'ing it was daunting. Like the apocryphal Ledru-Rollin quote: "There go the people. I must follow them, for I am their leader", it was frankly hard to keep up with all the different approaches students conjured up.

I believe that the course number changed at some point - or some shallow aspect of the course was set to change - and a bunch of industry people called the university to express concern. It is/was (I can't speak for the current iteration of the course, although I have no indication that quality has slipper or anything) truly transformative.

I offered to run a 'franchise' of the course at the University of Sydney a while back and was informed that anything quite that transformative wasn't really an option; our job was at least in part to pass engineering students who didn't care that much about computing.
"One of the basic issues with subtransactions is that they increment XID – the global transaction ID."

If the subtransaction is later rolled back, this is starting to sound like the kind of speculative execution information leak that led to the Spectre attack. I wonder if you could base a similar attack on this?
> Debugger: A Google Sheets script that simulates disassembled EVM bytecode.

Ahahahaha
Wow, I had no idea that this existed, thanks.

I agree that a drone for cleaning gutters would be incredibly hard due to the torque necessary. Less of a project, but a drone that picks up the Roomba Looj and can place in the gutter would be fun but not that interesting of a challenge.
Android began restricting what APIs you could use in your app with Android 9:
https://developer.android.com/guide/app-compatibility/restri...

Similarly, what is accessible from the NDK is limited:
https://developer.android.com/ndk/guides/stable_apis
I didn’t really understand why the sibling selector was introduced as a scoped version of the lobotomised owl, as if that was the canonical implementation. The sibling selector has always been underrated.
I don’t know why this was posted today. 8/31 doesn’t really have much to do with Aaron afaik.

Given his contributions and sentencing, his wiki page should be stickied to the front of this site.
Broadcasters Victorious as Judge Rules Against Locast
As a regular-old application developer, I had no idea that operating systems were being so aggressively sequestered from the perspective of computer architecture. It seems to be quite a joke, actually, to call Linux an "operating system." Combine this awareness with how much closed-source code is running these chips without any knowledge by the operating system and thus the user... it seems pretty scary.

I suspect much of the problem is "wall of confusion" differences: operating systems are primarily concerned with compatibility and reliability while computer architecture seems to be about rapid innovation and change.
You may be thinking of the old SASL report browser:

https://erlang.org/doc/apps/sasl/error_logging.html#report-b...
It took them almost a dozen papers to cover all the points and explain them. Asking me to cover all that in a short post is rather unfair (and your various counterpoints no doubt appear in the anti-federalist papers which are also great reading).

What crisis are you talking about specifically? The closest they came to failure was definitely the civil war. Most people would put that as a crisis of absolutely irreconcilable moral differences rather than of normal politics. No political system ever devised could solve that problem without violence or complete separation.
Locast Lawsuit by Networks Can Go to Trial
> 'one way is to make it so simple that there are obviously no deficiencies, and the other is to make it so complicated that there are no obvious deficiencies.'

I think this is also a premise of the article, I don't see that quote as "the main" premise, but just another quote used to explore the overall points presented
Then we mean different things by "good intentions".
Google's New AI Photo Upscaling Tech Is Jaw-Dropping
Previous discussion from 6 days ago: https://news.ycombinator.com/item?id=28307224 (263 comments)
Give Your KDE Plasma Desktop the Wow Factor – Nord Color Pallete
East/West can work well as well. I have a team in Vietnam with USA clients and we just do 1h overlap per day. Too many meetings may not be a good thing.
We're lucky now to be in the ballpark.
Did you mean "neophobes"?
Tldr: part of the reason it failed to demonstrate even small effecacy was the difficulty of observing infection events. Hopefully things go better as more data comes in!
Ah, my mistake, it's jdupes (maintained/improved fork of fdupes):

-L --linkhard hard link all duplicate files without prompting
> many people can use substances without addiction

My stance is that the majority of people regularly using some substance probably sit somewhere on the spectrum of addiction.

Most people just never bother to quit, because it hasn't caused too much of an interference. Or if it has, they say they'll "cut back." Soon enough they're right back where they started.

Addiction can exist in very subtle ways. It creeps up. It's also highly stigmatized, so nobody wants to admit that they're dependent on a substance.

With the exception of caffeine of course. Most people will openly admit their addiction to caffeine.
With a browser that allows customization, you can configure vertical tabs to fill up excess wide screen real estate. Then you can credibly manage dozens of tabs.
It will take time for businesses to follow the workers. At the very least I would imagine the distribution of such businesses won't fully adjust until after the pandemic is over.

I think it is too early to say.

And given the shortages in servering labor, we may see a shift in the jobs people have as well.
So that's a couple hours for the first dev to make a list of WSL setup instructions or a VM template, and 5 minutes each for every dev after.
Ask HN: State-level crowdfunding for developing generic medicines – why not?
Based on these assumptions (using insulin as an example):

- Manufacturers have increased the price of insulin by ~250% over the last 10 years [1]

- They also exploit the patent system to prevent the production of a 'generic' insulin [2][3]

- OpenInsulin is crowdfunding/crowdsourcing the development of an open-source, unpatented insulin [4]

- Medicare spent $13B on insulin in 2017, up 850% from 2007 [5][6]

It appears that:

- Government spending on insulin will only continue to increase (exponentially?)

- If OpenInsulin are successful, insulin will become available for a fraction of the price

- There is a VERY strong financial incentive for governments to invest heavily in the development of generic medicines and projects like OpenInsulin

Imagine if several governments got together and put 2% of their insulin spend ($260M p/a for the US alone[5]) into these kind of projects. Regardless of the contribution to humanity, surely it just makes loads of financial sense.

Does anyone know if this is already being done? Or WHY it isn't already being done? Are there any peverse incentives that are preventing this kind of open-source medical utopia?

Sources:

1: https://www.businessinsider.com.au/insulin-price-increased-last-decade-chart-2019-9?r=US&IR=T

2: https://undark.org/2021/06/16/how-patent-extensions-keep-some-drug-costs-high/

3: https://www.healthline.com/diabetesmine/why-is-there-no-generic-insulin#Patent-system-discourages-new-insulin

4: <https://openinsulin.org/>

5: <https://www.kff.org/medicare/issue-brief/how-much-does-medicare-spend-on-insulin>

6: This isn't just because of price hikes - diabetes is becoming more common as well.
No. Driver work is painful but it mostly teaches you about the h/w in question; you don't learn deep principles from a lot of it. You just grind away, spec in hand, until stuff works. A lot of this winds up being "one damn thing after another". There's a good deal of craft to it, and I don't mean to deprecate it, but it's not broadly applicable.

Conversely, the work they did in kernels has a huge amount of transfer to thinking about concurrency, which is truly valuable - and deep. It also meant that they acquired a far less magical idea of where things like processes and threads come from, having actually built the mechanisms to make them happen (you build a thread library in a warm-up project).

As for microkernels - they often punt a lot of the hard concurrency stuff up to user space servers, which will wind up needing exactly the kind of concurrency that the students learned to build.
> You're very focused on the 1% of the kick-ass people

Quite frankly, most of the rest don't matter one way or the other. And it's usually more like 10%, not 1%. Perhaps your job is so hard because you're expending effort on things that don't matter to your manager's manager (and therefore to your manager as well). There's a second derivative to this. If you want a decent longer term trajectory, make sure to pick the manager who ensures that his/her teams work on things that matter to _his_ manager's manager. You could easily bust your ass for a decade for zero reward if you don't keep this in mind. Or you could go work in a small company where none of this applies at all.
If it starts with GA and has random stuff after it, probably related to Google Analytics
My experience too: until I got an X250 (i5, 2 core) earlier this year that lasts around 10 hrs on a charge. Cost $160 in mint condition. Noticeably less powerful than my old T430, but can still do some real work on the go. Screen and keyboard are seriously cramped though, so it gets uncomfortable over long stretches. Still, there's something to be said for small and light. My work laptop is a big heavy Dell workstation machine that could double as an offensive weapon in a pinch.
Hmm, I guess I didn't think about the 15.6 inch size in laptops. I have a 14 inch laptop so I was thinking in terms of that size. 1080p on my laptop needs 1.2 — 1.3 scaling to look "normal". I know people dismiss this as personal taste but 1) IINM, Windows defaults to 125% automatically on such a display and 2) I have a hard time reading text without scaling my 14 inch 1080p display.

Sure, people, resort to scaling just the fonts but everything looks out of place if you do that. The fonts are big but the UI elements are still small.

Personally, I chose to compromise as well by scaling just the fonts on SwayWM because fractional scaling introduces slightly noticeable degradation of font quality which is unacceptable to me.

But yeah, in that case, 4K display on a laptop looks like a safe bet so I would only go for that in the future. Thanks.
indexing speed probably wouldn't be a problem. the index size would probably exceed available disk space for a typical workstation of the time.