skysight-inc/HackerNews huggingface dataset:
Look for "Data oriented design" or "Structs of arrays".

Here's a talk on the former by Mike Acton: https://www.youtube.com/watch?v=rX0ItVEVjHc

On the latter, there's Jai, a new programming language for games (WIP, unpublished) by Jonathan Blow, who has been very public in documenting the process creating it, and which is centered around such concepts. There is some unofficial documentation of the ideas on SoA vs AoS and how the language can help switching between the two, e.g. here: https://pixeldroid.com/jailang/overview/Features/SOA/#/overv... and here: https://github.com/BSVino/JaiPrimer/blob/master/JaiPrimer.md...

Edit: Just realized that the articale even mentions Jai towards the end.
I switched back from VSCode to Sublime Text (despite enjoying Intellisense) due to how much more responsive the scrolling is in Sublime.
Motorcycles are legal but if you commute and carry your kids around in them 100% of the time you may be choosing poorly. You moved the goalposts from a good choice to legally allowed.
Are you talking about generating a random permutation?
Question is why this has not been done from the start? Was this a favour for China?
my only trouble is the HW specs, I don't want a mid-low device, I am willing to spend the same I spend for a mid-high Android phone, as long as they manage to keep the basics working , ie solid browser, capable GPS navigation, port/wrap most used IM platforms. I used a Flame phone for a while, no major problems, until most IMs stopped working... people want to stay connected to everyone else... that's what 99% of users do.
Is that OP's point? It seems like they answered the question about jurisdiction...
You could very much design and verify that a CPU such that execution of arbitrary code has no observable side effects.

However attempting to do so is multi year, for modern CPUs certainly multi decade project. This is not feasible as long as Moore's Law goes on.

Formal verification of kernels (SEL4) and a micro processors it runs on have been performed together to proof properties.

Large ALU blocks and vector units (such as multipliers) can be formally verified.

However efforts of end-to-end formal verification of entire processors won't happen unless there is demand to justify the huge investment of engineering resources and the market would be fine with chips many years behind.

Unless everyone is running dozens of clients on all their hardware it is cheaper to give everyone their own machine instead of investing the engineering time in to verifying chips. The economic incentives for Intel that selling more machines for isolation brings them more revenue without having to make investments in to decade long verification projects means it is not a mathematical certainty that it can't happen but just an economic one. After all speculative execution is just extra state and extra logic which can be formally verified. After all programs are just bit patterns and all quarters can be addressed in the formalism of Quantified Boolean Formulas.

But nobody is gonna undo 20 years of performance. You will just be told to buy more machines to isolate workloads.
> The promise of Bitcoin is the idea that individuals, not large financial concerns, have the power.

Bitcoin is not the only cryptocurrency out there.

Besides, the fact that coinbase just had an IPO doesn't mean they control bitcoin, I don't need them or anyone else to move around cryptocurrencies however I want.
The flip side is that it is easy to track security vulnerabilities at a level of a shared library - once the distribution pushes an update all the dependent applications are fine.

Imagine you have 10 programs statically linked against the same library. How many will be promptly updated? How do you, as a system admin, track which ones were not?
See my comment about TRAMP and file system operations from a couple of months ago for some of the underlying issues.

https://news.ycombinator.com/item?id=25626412
Maybe Vernon Adams' family could sell a commemorative (i.e. not endowing any copyright) NFT of the Oswald font and auction it on Ethereum.

The woman who featured in the disaster girl meme recently sold an NFT of the meme for 180 ETH, which is worth around $473,000 at current market prices:

https://www.marketwatch.com/story/disaster-girl-makes-over-4...
I had an org-mode emacs session running 24/7 on a server for months at a time without any issues. It's something with your setup.
I think it's simpler than that.
Unpaid developers overwhelmingly prefer to work on the intellectually "sexy" problems such as encryption or compilers, to the detriment of the boring-yet-important stuff like UI improvements and hardware compatibility (let alone proper QA).
I don't think so. Maybe a "random sequence" could be a name for it. But not sure.
As someone who started reading cyberpunk as a young teenager this is definitely the future I imagined, just with different names.

Cryptocurrency, the internet, mobile devices, huge powerful corporations, Anonymous, black hat hackers, hi tech protests like DDoS, electric vehicles, shady IT security companies, Moxie Marlinspike, billionaires going into space...
Apple accused of breaking EU law over App Store sales fees
The question here is why dietary science is so unreliable? There are so many fads. Every year. Many of them with a base in a peer reviewed paper, but all conflicting with each other.

And even reading this comments here: yes keto diet makes me sharp thinking, no actually keto gives 'brain fog', no it is glucose that gives 'brain fog'. It reads like a primary example of some random effects that people interpret to be caused by whatever they currently do.

I am all for going to the source and reading scientific articles - but it is hard. And at some point it is important to admit that we are laypersons in such and such area and the fact that we read (and partially understood) a peer reviewed paper might not mean that much because science is too under the pressure of https://www.gwern.net/Littlewood

Here is another argument for why reading just one peer reviewed article is not too informative in some health related problems: https://astralcodexten.substack.com/p/covidvitamin-d-much-mo...

And by they way the abstract of this particular article is a kind of strange: first they admit that "Neuro-cognitive research has confirmed that glucose, as a main energy substrate for the brain, can momentarily benefit cognitive performances, particularly for memory functioning." - so they admit that the effect of glucose is positive and they even say that it is confirmed. Then they go to their own experiment and report "ingestion of glucose and sucrose led to poorer performances on the assessed tasks as opposed to fructose and the placebo" - so the effect here was negative. But they don't even notice that it is the reverse of what they believe was 'confirmed'. The activities were maybe different - but still.
Got it thanks for suggesting,
When searching for tiling window managers for Mac I came across Yabai

Have you tried it
Loads of good tips above. Another is conferences. Due to Covid many have moved online and as a result are now free to attend. You can listen to the talks, but also network with other attendees. This is a good way to strike up conversation and maybe even find potential job opportunities.
Have a look at scaleway.com. Nice API. Did Dome interesting stuff with it. For bigger projects it may be a good idea to have a dedicated server and play around with „virsh“ (KVM).
Android phones are Linux phones. The fact that Android marketing gets away with misrepresenting this fact is highly annoying, and it is one of the more ugly cases of the open source engine underneath each Android phone being used by what is essentially to all intents and purposes a closed source device.

This is precisely what the FOSS community has been advocating against and in my opinion isn't any worse or better than various router and other appliance manufacturers that appropriate open source tech for 98% of their usecases and then lock it up with a thin closed source sauce and some service that is grafted on to guarantee lock in and their business model.
I learned about Chia last week by googling "hard drive shortage" to figure out why suddenly hard drives prices are spiking where I live.

Definitely not a submarine.
Just curious do kernel developers use mac
This is totally irrelevant to the discussion here - you're referring [in a rather toxic way] to ultra-Orthodoxy. My experience has been that ultra-Orthodox Jews are far less interested in and aware of the "thousand edge cases" since they prefer to stay far away from the proverbial 'edge'.
> The programming languages listed above are all over 20 years old and their initial design decisions, like Python’s global interpreter lock or Java’s everything is an object mindset, no longer make any sense today

I wonder what general purpose languages (as the mentioned Jai is meant for games primarily) will be the best fit for modern architectures, besides obvious things like doing it in C and just doing everything manually to fit the machine nicely.
Matomo.
What I mean is, in your example, do you need to have precisely the numbers 1, 2, 3, 4, and 5, but in any order? Or is the constraint something else?
> That might be the usecase that would get me started with Android development, but I have not decided if a webapp would be better.

You might already know this but that's actually a very fluid barrier.
If you use the angular cli to start a project you can - with one command (ng add @angular/pwa) make it installable on devices after you've deployed it on an https server.
The issue here is that there's a mismatch between the probability distribution and result. In reality, either the equipment will fail some time on entry/initialization and won't be able to complete any missions, or it will work for one and thus probably work for a hundred of them.

If you promise one run and fail to complete it, it's a disappointment, but eh, it was a high-risk mission anyway. If you promise a hundred runs and fail to complete even one, you'll catch a ton of flak. If you promise one and complete a hundred, you're a hero.

The math checks out that way, especially when one single mission is good enough to get the funding anyway. Everything else is literally a bonus, why promise ten when they're paying you for one?
Roads already have a lot of tire dust due to tire wear, I don't think this will be a significant extra source of pollution.

> The polymer solves a longstanding problem that the asphalt industry has encountered since the first attempts at using recycled plastics in roads, namely how plastic separates once it's melted into the hot asphalt.
Is it similar to i3 in terms of configuration
Hi, it is a very nice project. I like it! You could probably also quickly add a manifest for turning your current HTML template into a web app (benefits are that when adding a shortcut on the Home screen of some mobile device, the website will open in a dedicated window (rather than in a tab of the browser) with a dedicated title in the list of running application (rather than the name of the browser), a dedicated icon on the launch screen, etc.).

See https://developer.mozilla.org/docs/Web/Manifest
Being a novel (new) Corona-virus, nobody actually knows the extent of possible mutations. This is a strong argument against it being a weapon. However, it's impossible to contain everywhere, though we should perhaps make the attempt.
It's not just EV certs, regular code signing certs have the same issue.
Emacs is definitely capable of multithreading. Still using a single thread might actually be a boon because it simplifies the programming model. Right now, Elisp code can work under the assumption that there is only one thread accessing editor state at the same time.

Disentangling this is probably going to be difficult, but the Emacs folks are probably smart enough to come up with something that matches with the spirit of Emacs. Libuv and callbacks might be a way, but cooperative scheduling of user threads on backing threads together with structured concurrency, like Java's Project Loom is attempting, are another way.

The emergence of the LSP protocol is a very promising development in the architecture of editors and IDEs. Many things can and maybe should be passed off to background processes to handle, both to expand the feature set of every editor out there, and to increase speed and stability.
I am one of them.

I can still start my engine if the battery is dead.

When I rent cars in Europe, I usually get 50/50 manual/automatic.
Interesting numbers :)
Why not make it conductive and test if any section is down by seeing that the circuit is broken?
https://www.nytimes.com/2021/04/29/world/middleeast/israel-m...

While some were dying others continued to dance and celebrate preventing the rescue.
Theres nothing wrong with exchanges on top of bitcoin, in fact, that will be the solution for the tx costs and energy problems. But HN is too stubborn to get it, remember, if you do the opposite of what HN youd become rich :-)
> searches are features of the shell, not the terminal

no, tmux/screen implement search in the terminal output buffer and work well.
The Haskell maintainers in Arch have an almost fantatic fascination with dynamic linking. Dynamic linking is otherwise not the norm in Haskell.

Haskell has poor support for dynamic linking. The Haskell (GHC) ABI is known to break on every compiler release. This means that every dynamically linked executable in the system needs to be recompiled. Any programs you compiled locally against dynamic system libs will break, of course.

This stance makes it much harder than necessarily for Arch users to get started with Haskell.
I’m saying it’s quite strongly correlated. From memory the difference in price was a few thousand dollars between manual and automatic. For some consumers that price difference is enough to override other preferences. Some markets have more of those consumers than others, to the extent that an automatic car would be a somewhat uncommon luxury item in a lot of places.
> something that cuts out all layout, formatting and images and shows me the raw article text in a fixed with font.

FYI, I have implemented a reader view for `hackernews_tui v0.6.0` [0] which seems to satisfy most of the conditions above. Judging from my experience, this reader view works quite well and can cover many use cases.

[0]: https://github.com/aome510/hackernews-TUI/releases/tag/v0.6....
I own an iPhone but at the same time I’m hesitant to switch Mac as I think I’ll miss out the benefit of customizing my system
Brazil rejects Sputnik V vaccine, says it’s tainted with replicating cold virus
Your microwave will end up as a subscription platform.

Services grafted on to various appliances and consumer articles are going to be the norm unless we push back. Hard.
Only for the record/memory, an old tool that was (is) very nice:

https://sourceforge.net/projects/winqconsole/
Especially because it might not be up to the human, since our digestion relies on symbiotic gut bacteria, which we don’t have good ways to test what they even are.
A clock's accuracy may be tied to the entropy it creates
> I think they just see a feature they’d like in the browser, and add it.

I'm not sure. Their official policy is that almost everything should be an add-on. Even things like "don't let random sites install search engines into my browser" should not be a setting, but should be a plugin that works around the browser to make it happen.
I would say this does not have to be thought terminating.
You can try feedly[0] as it has at least some of the above — smart labels, custom grouping and easy access to discussions (on hn at least - I don't use the others).

There's also a premium version which may support some of the other features you've mentioned.

0. https://feedly.com/
Ah yes, you are right. In that sense, it is a random permutation of the numbers from 1 to max.

Yes, when initialized with "size=5" the numbers in the output must be precisely 1,2,3,4,5 but in random looking order.

And I don't want to store the whole sequence. I want to say gimmeTheNumberAtPosition(x) and it return just that number.
Is it tho?
Or could it be the massive building boom in Portugal right now raising the prices?
Or the fact that kind of "alpine" construction is very rare in Portugal and probably required a lot of foreign expertise?
Or perhaps because there weren't many contractors biding on it, leading to a less competitive price?
Or maybe because they're totally different designs?
Or maybe there's a ton of factors you have no idea about and did no research on?

Corruption is really not as common in southern Europe as the media would make it out to be. Incompetence is a far bigger problem and also far harder to persecute, sadly.
How to Downgrade Ruby on macOS
This might seem slightly unrelated, but I was reading Elixir in Action and one of the statements is along the lines of a debugger being difficult to use in its naturally concurrent environment. The Elixir strategy is to kill erroring processes, capturing their exit signals with supervisor processes and then possibly recreating a replacement process.

Can the common lisp condition system be adapted to Elixir? Is there an advantage to doing so? Is there some obvious tradeoff between the two I'm not expressing?

Thanks.

see this thread form HN for more about adapting the condition system elsewhere.

https://news.ycombinator.com/item?id=26852309
Fructose might not have an effect on cognitive performance. It is still bad for you, since its effect on the body is similar to ethanol. The liver will transform it into fat, high fructose consumption will net you a fatty liver.
It's a case of developer UI. Has nothing to being "allergic" to "good UI design".

Being able to design something friendly to the average user, yet powerful enough to be friendly to power users, is a very difficult task to accomplish.

Developers understand the latter quite well, I think, as they themselves are power user-types. The former... well, that requires having dedicated designers who know how the average user thinks, as well as perhaps guinea pigs in the form of the average user. And that might require a lot more funding, perhaps.
Ore mine these days just means "we want to get rich off this first, and we don't really want to put any effort or resources into ensuring this. So we are going to allocate ourselves X% of total supply.

Satoshi had the decency to mine his coins alongside everyone else.
In android’s case the use of Linux is an implementation detail though.
Totally agree with your comment.

Just curious does using Linux on daily basis helps you in your career as Sys Admin

I’m guessing you spend most of your time in command line
Look into linear feedback shift registers, they are very simple and can produce random-looking permutations.
The big benefit is the hardware. A MacBook will run better and smoother, have much better battery life and much less hardware and compatibility problems compares to an equivalent laptop running Linux.
"Theism... Hard determinism... Consequentialism, realism, physicalism, and correspondence theories of truth... Believing philosophical zombies are metaphysically possible... Theism and idealism... Accepting non-classical logic... Non-realism regarding aesthetics and morality... Contextualism about knowledge..."

Are these terms well-defined? This is legitimate curiosity...
All of these proof of X are just mechanism to find the next “leader” who will be in charge of proposing the next page of the ledger. Proof of work has proven to be wasteful, I personally don’t really see a great usecase in proof of space, proof of stake is basically the way to go. That being said, you have leaderless consensus protocols (avalanche) and even consensusless protocols (AT2).
Thanks! I forgot all about it, in particular about '$ORIGIN' thing! Yes, I'm happy to see the person building the executable has at least some control over this.

It's actually relevant to a project I'm working on (proprietary, Windows/Linux, uses shared libraries for both mandatory components and optional plugins) - I'm gonna check if and how we're setting RPATH for the Linux builds, it might need some tweaking.
This looks like this maybe the reseller.

https://www.proficad.com/purchase.aspx#faq

Digital River GmbH
Scheidtweilerstr. 4
50933 Cologne
Germany
Tax ID Number (Germany): 217/5722/1080
VAT-ID: DE194149069
Bitcoin had no premine.
But are children harder to see than from older cars? It isn't like the windows were huge nor the beams small.

Are children really harder to hear? Old cars were louder. How much sound did they cover up just with noise? How much more could you hear in an old car compared to a modern electric car?
Will the scraper code ever be open source?
I was thinking the same too. Even for myself, I just own a laptop and a smart phone. If I could get rid of the phone I would.

No smart watches, home automation devices, wearable fitness devices, none. I've used some of them at one point or another and in hindsight, while they did bring some benefit (mostly convenience), I found their privacy, financial, environmental costs to be just too high to justify the marginal benefits.

Give me a minimal Linux machine and the vibrant Linux community where we fix each others' issues and I'm a happy engineer and a human being :)
NASA's funding is determined by politicians, who care a lot about politics and think in those terms.
There are options that don't have ads including satellite radio, and communication via stereo cable or Bluetooth with your phone which can play music via local storage or streamed.
Trust is matter based on reputation, and that is why users generally trust F-Droid. Can we trust Google, based on their reputation?
Do you have a source for that? Doesn't seem like a legit practice on an ongoing basis.
That's easy to say, but sometimes I need to fix bugs in downstream packages, and I am not willing to wait for 6 months (or forever in some cases) for a fix to be released.

Then Linux distro a year out my patched censored version and link to the buggy upstream, and I have to keep telling bug reporters to not use the distro version.
The metaprogramming available in languages like Rust and C++ could maybe be leveraged to make the struct-of-arrays model easier. Wouldn't be the same as native support, though.
This would be an example of where more complicated isn't better. Our car is from 2004 but neither it nor any car I've ever owned has ever had this problem.
Ctrl + the # key will take you the specified # tab.
Ctrl + tab will take you to the next right tab
I agree with you especially on configuring is fun at first but later it becomes time draining.

Sometimes you just want something that works right out of the box
This question comes up a lot among Ruby beginners so I wrote an article that goes into detail. I explain why it's worthwhile to install a version manager. I recommend asdf for those developing Rails web applications (which require Ruby, Node, and Yarn) or those using multiple languages such as Ruby, Node, and Python. For a simpler version manager just for Ruby, I like chruby. The article provides all the details, explanation as well as instructions. Let me know if I missed anything or anything's unclear. Sharing it here on Hacker News because the community might have suggestions for improvements.
Sea World should be shutdown, it's essentially torturing these animals. We would never accept this being done to humans and we shouldn't for such extraordinary and intelligent creatures.