skysight-inc/HackerNews huggingface dataset:
It's a pretty interesting platform, (may have been called LBRY before?:

https://lbry.com/faq/what-is-lbry

> First and foremost, LBRY is a new protocol that allows anyone to build apps that interact with digital content on the LBRY network. Apps built using the protocol allow creators to upload their work to the LBRY network of hosts (like BitTorrent), to set a price per stream or download (like iTunes) or give it away for free (like YouTube without ads). The work you publish could be videos, audio files, documents, or any other type of file.
It is the main processor, tying together a number of hardened FPGAs. They’re also old, but the point is they can be reprogrammed from Earth to do whatever NASA needs.
Interesting take.

I haven't spent enough time in Gnome or KDE to really know.

What things/features do you enjoy about them, that are missing from windows 10?
What is the plan for Fuchsia? A kernel for a mobile operating system? Or a general purpose kernel?

Will Google migrate all their server software to Fuchsia? I am not too convinced that's their idea, isn't it?
ubuntu was created and is maintained by a large company

https://en.wikipedia.org/wiki/Canonical_(company)
I have exactly that. It can be from highschool or university but the setting is always the same - there was some class that seemed easy, I took it for granted, didn't attend, and now only a few classes left before the end of semester and I am facing a dilemma: I haven't done anything, I am afraid of confronting the teacher who might not even know me, and I am uncertain if I can still make it or if it's already too late and I failed the class.
> Is there a reason why successfully running software on a server is so much harder than running software on your phone?

Yes. "running software on a server" is actually done when running a business, which requires careful attention to detail, quality of service, actual work and dedication to customers. "running software on a phone" is just being a consumer, the hard part of that is done by Google/Apple. In short, provider vs. consumer, it can't be easier to provide than to consume.

EDIT Yes one can run software on a server as easily as on a phone, it's just few clicks or installation command away. But most people running software on servers do not want that, because they want control and understanding and security etc... That is, not yet, maybe in future every family will have their own home NAS server with apps.
Something might if the bug were fixed. All our electronics would just be inert silicon, for one thing. Probably also several very important metabolic processes wouldn't work any more.

This begs for a sequel to "They're Made out of Meat". You know the thing about tabs in Makefiles, how by the time he realized they were a misfeature he already had ten users and didn't feel like he could do that kind of breaking change?
Fuschia may be able to run Linux apps now, but Linux still has all the driver support.
It will take years to re-create all that.
I used adb to move files on/off the device. Zero issues there.

Now sure about their note app, but I bet that review guy, mentioned elsewhere in this topic, covers it?
The author is being slightly inconsistent, with respect to the other premises of the story, in saying there is a feedback loop: as it is set up, simulations have no causal power in the world running them.

If the top-level 'God' people choose to run the simulation faster than real-time, I think we can say that no change will be observable anywhere in the simulation stack, except that the people in them will feel as though they have chosen to speed up their simulation and yet not seen any change in it - which is another of the things that will tell that they are in a simulation and not at the top level. (Note that, as Diane has presumably already said in her paper, free will is definitely an illusion in the simulations. I guess it also is at the top-level, given that their universe is deterministic to the point that it can be simulated to the tiniest detail.)

Now suppose the top-level people choose to run the simulation in reverse. Again, I think we can say that nothing will seem to change to those in any simulation, because, at any point in the reversal, everything, and in particular everyone, will be in the same state as they were in the forward pass, which for the people includes having the same memories, plans and expectations - it will be indistinguisable from an instant in forward-running time. They won't even remember that, at some point, the clock was reversed, as that was not something in the forward simulation's past.

This is where it starts to get interesting: if the clock is reversed again and left to run, what will be observed in the simulations, and by the top-level people looking at the first-level simulation, when the simulations reach the time of the original reversal?

Update: I'm leaning towards the view that the top-level simulation continues forward in time from this point, and observes its simulation go around the loop. In general, the Nth simulation goes round the loop N times before proceeding past the reversal point, but no simulation observes that it is going or has gone around the loop, and therefore cannot determine its depth by counting loops.

Alternatively...

The moment the 'camera' appears in a simulation, it has diverged from the 'real' world. Now some of its inhabitants know they are in a simulation, and so they are not replicating what happens in the real world. The butterfly effect will likely ensure that the divergence will become general. I think this could be undone by sending the simulations around a time loop, as then, if my supposition about how these loops play out is correct, each simulation will exit the loop in the same state as the real world, with no memory of the camera having once appeared.
Class 10th and 12th Exams coming soon
Too bad I only have one upvote. You have an excellent point, and one I’ve been mulling over for some time now without being able to put into words. I’m definitely going to give it a try at our next hiring round
Ask HN: Can I trust brokers with my stocks?
Dear all,

As result of the GameStop "upset", I came to realise that retail brokers not only make money by charging commission, but also by untransparently borrowing my stocks for shorting.

At this point, I want to know:

1. How can I find out if my broker borrows my stocks for shorting?

2. How big is the risk for me? Can I lose part of my stocks due to reckless shorting?

I asked the same two questions to my broker (Avanza in Sweden), and they haven't replied after 4 weeks.
It would be nice if we actually had a rule to add a tl;dw to videos over 5 minutes on HN. This was 6 minutes of rambling before he said anything meaningful.
Could someone please combine this with a Lego Technic printer that’s synchronized to the model it’s built from? Lo-fi cylon assembly would be pretty keen, especially if when you updated the model, the assembler swapped out bricks.
Yes. I wonder if they have any kind of product people or how they are structured.
About 1: There are some recursions that after some iterations approach a stable cycle, in the most simple cases it can be a cycle of length 2, like A -> B -> A -> B -> ... but there are longer cycles, and in some cases no cycles at all. This example has a lot of possible behaviors changing the parameter r https://en.wikipedia.org/wiki/Logistic_map
Let's imagine we have a group of 100 people and we want them to reach consensus on a controverted topic. Let's apply a divide and conquer approach: pair people 1 on 1, and if they can agree (even if the agreement involves different resolutions depending on personal preferences), you join them with another group of 2 and repeat the process.

Now, why doesn't this work? Well, this could work if people's opinions were static and perfectly stated on the first try. But in practice, and even under an ideal setup, people will be changing opinions too fast to ever be able to reach an equilibrium. They might realize that what they previously stated doesn't really match what they believe, or they didn't consider certain things that, when revealed, will now be considered important.

And even more, this is if they were actively trying to reach a consensus while being patient, listening carefully, properly considering other people thoughts, expressing their own in a very precise and faithful way and being able to keep all that information in their heads and prioritize without bias. Which is not realistic.

At this point, we might as well say that the problem is that the more people and points of view you introduce in a discussion, the more precise the consensus needs to be, and precise consensus is unachievable in a continually changing scenario. So, when we believe there's consensus on something, then it must be because either the problem is simple or vague enough, or the consensus itself is vague and imprecise. Which is fine too: vague consensus is not useless, nor it does make sense to reach perfect consensus for everything each time, but that's what we would be lead towards if we all tried to have "better arguments online"... which is never reached anyway at a big enough scale due to the issues previously described.

(yeah, we don't need arguments to reach consensus, you can learn from what others say without agreeing with them, but... I don't even agree with myself, I'm gonna delete th-
Don't forget to convert the gas into MJ / kWh with an appropriate conversion factor. When I calculated total energy use for my household I was somewhat amazed at how much energy gas holds.
A guide for freelance data science career
The GUI bit is interesting because my experience is that non technical people can't even navigate windows without extra instruction.

My teenage job was to train hotel / resort call center agents on using oracle tools and even a CLI tool (if you've ever made a Marriott booking over the phone) then the person on the other end has a terminal open and is entirely using keyboard navigation.

Although different workplaces probably give their staff more autonomy which requires their staff to have prerequisite knowledge.
I was the only technical employee at a SaaS company for years. I made the mistake of building on Rackspace’s OpenStack Cloud. Their managed MySQL database would crash, seemingly randomly, about 4x/yr for 1+ hour. Pingdom alerts ruled my life. I actually bought a satellite phone that could receive the alerts for when I was on vacation (I tend to vacation in places with no cell service). It really wore me down after a while. To the point where we decided to migrate to AWS. We’ve been using Aurora ever since and have had exactly 1 instance of DB related downtime, and it was because of DNS (it’s always DNS). My life has considerably improved and I no longer have PTSD for the Pingdom sound at 4 AM. My advice? Choose your infra wisely.
But ultimately that's still an observation of a measurement; any 'truth' is necessarily abstracted into an internal ontological representation of that observation. One person's understanding of the measurement of the speed of light may absolutely be different than the next. These represntations may converge more strongly than, say, something more ephemerate like the human condition, but regression towards shared observation via scientific processes (or otherwise) doesn't have to imply truth. Ultimately the definition of 'truth' dictates the extent of it's subjectivity, so this discussion is necessarily pedantic. I'm not well enough studied in ontological theory to have a horse in the race, but I don't know that the conclusions of relativistic experiments are enough to indicate universality of experiential truth.
Hard to say, as a power user I of course enjoy having all the great tooling below the surface, like a proper shell and the ability to easily run all kinds of services like databases. Having a package manager like apt is also great, as most software can be installed/uninstalled/upgraded with a single command.

Regarding the UI: The KDE UI is just very discreet and doesn't get in the way, and there are a ton of small productivity features that are really handy (multiple workspaces, mouse and keyboard gestures, widgets, highly configurable panels, different themes etc.). Windows feels quite limited and slow in comparison (I also run it on the laptop for things like gaming and Powerpoint), sometimes e.g. the explorer will take several seconds to open and the UI can be sluggish without reason. I think Windows 10 was really innovative and great when it came out, it didn't improve much since then IMHO. On the other hand, Linux WMs like KDE or Gnome constantly evolve and get better since they are not governed by a central authority that needs to worry about commercial interests.
I'm down to just black tea, but a lot of it. Occasional cola as well.

Honestly, I need to ween myself back a bit.
Yep. I like the description that turned up in an earlier thread: it's Forth Week on HackerNews.
I have a BOOX Note (v1) and found no reason whatsoever to replace it. The auto PDF margin crop functionality Just Works, the only reader I've seen where this problem is solved to any degree of satisfaction.

I vastly prefer reading PDFs off the Note than on a computer, regardless of the paper size.
Being onpage 24/7 is a sure way to end up in a mental facility. You get a partner (or employees) and set up shifts, or make the services redundant enough that outage isn't a big deal.
NoSQL is much more about software engineering than computer science, and software engineering is ridiculously susceptible to fads in a way no mature engineering discipline should be. And almost never are those fads actually new ideas, because trends work cyclically rather than linearly. Most SWEs are just too ignorant of the history of their own trade to realize that.
> What is the plan for Fuchsia? A kernel for a mobile operating system? Or a general purpose kernel?

Both. An entire OS that replaces ChromeOS and Android. Zircon as the kernel instead of Linux and Fuchsia as the whole OS.

> Will Google migrate all their server software to Fuchsia? I am not too convinced that's their idea, isn't it?

If they can get Zircon optimised on their own Google silicon then it maybe possible. But who knows.
Canonical makes Ubuntu, and their work is based on an upstream distro, Debian. Their focus right now is providing a server distro with an emphasis on cloud, as well as selling support.
People say "sliced bread" for "bread sold pre-sliced".
Excuse me?

Well, you see, you actually can pay taxes with Euros. In Europe. The USA isn't the only country in the world.
I think the simulation theory posits a fascination of people to simulate ancestral experiences. But I would find it equally (perhaps more) fascinating to simulate random universes with random initial conditions and stochastic physics and see what happens. Or put another way, if we are in a simulation, I see no reason not to consider the possibility that the entity simulating us is doing it just for science.
He talks about SJWs attacking Linus Torvald and (successfully) cornering him into feeling guilty and leaving.

It seems to currently be the best way to destroy a competitor: Attack him on SJW grounds. Same technique was used against Julian Assange, the accusation was on, then off, then on, then off bow that he’s jailed. Convenient!

For our freedom, we should fight this. Crimes should be pursued penally, and proven. Not pursued by a crowd of mobsters. This is #1 danger to our freedom.

I have funding allocated for open-source in my company. My only requirement is:

- Either don’t have an ethics policy,

- Either, if one is present, it must explicitly say that Whites and men should not be discriminated against.

So far, we have allocated 0% of our pool. All of Debian, Postgresql, Apache and similar have programs specifically targeted at Black people, while no effort is made in non-discrimination.

This has to end. Linus Torvalds is white, and discriminating against Whites is the best way to end up with Windows, Amazon Aurora and license fees for every library we use.

Attacks against Whites have to stop.
There is a repo with a few more recent commits here: https://git.rip/Obama/re3
There's some weight to some of this for sure. I don't think using past history and longevity of OSes makes much sense though. There's just not enough data, and Linux also fills a very specific niche that is decidedly not filled by the other leading OSes, which gives it the market robustness it has seen so far I feel. To replace it, you would need to fill it's shoes, because it is entrenched in user land and some very big commercial industries.

Maybe that day will come, but I don't even see a competitor lurking in the waters yet, so I don't think it will be soon.
For those that don’t understand:
Brian Lunduke does a version of this speech every year.
It’s supposed to be a light hearted jab at the GNU/Linux system and community.
and
“sucks” as a technical term means “fails to meet expectations” and does not mean “is bad”
One decade later Lithuanians can change their minds about all this (their plant is now closed).

Or they may be less confident when they don't manage a plant.

In any case they may be right even if they didn't apply their own precepts ( https://en.wikipedia.org/wiki/Tu_quoque )

> Lithuania is just upset because they invested a lot into natural gas plants

https://en.wikipedia.org/wiki/Appeal_to_motive
> Dependency is pervasive throughout mathematics. What is a monoid? It’s a set M, and then operations m,e on M, and then conditions on m,e. Most objects are constructed in layers, each of which depends on the ones before. Type theory is often regarded as “fancy” and only necessary in complex situations, similar to misperceptions of category theory; yet dependent types are everywhere.

A monoid is (S,•,e): a set S equipped with a binary operation • : (S,S) -> S such that for all x, y, z in S, x•(y•z)=(x•y)•z, and an element e in S such that for all x in S, x•e=e•x=x. Examples of monoids include (String,concat,""), (int,0,+) and so on.

One recurring theme in universal algebra and category theory is the notion of an algebra[0], in programmer terms it's like a module declaration. (see also F-algebra[1] which is heavily used in functional programming to formalize the notion of folding and more)

Dependent type theory allows one to encode these algebras, e.g. encoding monoids and their laws in Coq's type system CoC[2]. Just like how ADTs in Haskell/OCaml and enums in Rust are comprised of a "sum of products", products and sums can be generalized in dependent types as well:

Length-indexed lists via the dependent sum: Σn:ℕ.List(n) consists of dependent pairs ⟨n,l:List(n)⟩. Σn:ℕ.List(n) can be read as a function that takes a natural number n and returns a type List(n)

Type-parametrized types: ΠS:Set.List(S) consists of dependent functions λS:Set.φ(S), ΠS:Set.List(S) can be read as a function that takes a type S and returns a type List(S)

So to encode monoids in a dependent type theory using those dependent sums and products, we can just put the operations and laws into some big record, say

Monoid:=
ΣM:Set.
Σm:M²→M.
Σe:()→M.
Π(a,b,c):M³.m(m(a,b),c)=m(a,m(b,c)).
Πa:M.m(e,a)=a=m(a,e).

Compare this to [2]!

[0] https://en.wikipedia.org/wiki/Universal_algebra#Basic_idea

[1] https://en.wikipedia.org/wiki/F-algebra

[2] https://gist.github.com/puffnfresh/11258181#file-monoid-v-L5
These sound quite hardcore. I had the "wake up twice" dream once back in middle school, and it has stuck with me ever since. I remember it whenever someone mentions the topic of dreaming. I can only imagine how much of an impact a dream where you wake up more than 2 times would have.
If anyone is interested in using dreams as a part of spiritual practice I recommend reading 'The Tibetan Yogas of Dream and Sleep' by Tenzin Wangyal Rinpoche. Carrying awareness from wakefulness to sleep is one of those things in your life you'll never forget.

Kinda sad that only 18% of participants could respond. Who knows, maybe you could have whole groups of people entering one anothers dreams.. Would be great for interrogations, setting up archetypal areas like airport checkpoints to gain access to the identification part of someones subconscious. Might be less tinfoil than you think.
like swift you say
Show HN: Neural Architecture Search via Bayesian Optimization
Yeah, once it was even a two-parter: why Linux sucks, and why Linux rocks. I can't find it right now.

Although to be fair, the newer editions are quite a bit more pessimistic.
The price of success I suppose.
Nice to see alternative clients already. Might also be cool to combine with Jam.

https://jam.systems/

https://gitlab.com/jam-systems/jam
So worth a try then. I'm like the OP. Tons of pdfs to read already on a trusted device. (Thanks for the adb tip.)
What happens if Jan 6 had happened and Trump was successful in remaining president despite having lost the election. Who would win the payout? However the market makers decided?
Story of Funded Dating Startup
After we raised our seed round from a billionaire investor, my cofounder quit. He said that starting a company was too hard for him and that he didn't believe in my idea. As weird as it may be, he said too much was at stake now and he couldn't cope with it. It sucks being left on your own but here I am fighting as usual, hoping to find someone amazing. I want to see if anyone is interested in replacing him and joining me on an adventure to change the dating space for good.

I've had these problems for years and I will never give up. Covid-19 made people lonely and I must help them. I just have to solve these problems and I owe it to my generation. If I don't do it, someone else will.

In a post Covid-19 era, social networks will be different and we will go back to basics. And in the same way you can now push a button and call you friend, you'll soon be able to take a selfie and go meet someone similar to you for the first time.

I know this is going to be a long search because finding a great person is hard, but I think that everything happens for a reason. And Hacker News is a great place to start, so here I am sharing an opportunity with you.

https://angel.co/company/feelja/jobs/1207293-cofounder
Absolutely, I don’t do this with everything, but it’s more like an appreciation of effort to the commenter.
At best this is another manifestation of the "is–ought problem" and AFAIK there is no way to decide, at worst it is an appeal to tradition ( https://en.wikipedia.org/wiki/Appeal_to_tradition ).
It is my understanding that most of Google's services run on a Linux fork, which they keep rebasing and ocassionally some of their changes get mainlined.

Will Google move everything to Fuchsia/Zircon? Very unlikely.

I think Linux will continue to be the de-facto OS for servers. That's what people know how to use and work with.

FreeBSD is cool too, but much less popular. If Linux goes away, we can use FreeBSD or Hurd. But it won't go away.
Once the bullish case is set at $5 million you might as well set it at $5 trillion.

At $5 million it's approaching the value of all stocks on the planet. I don't have to elaborate on the economy those stocks represent, the annual profit generation.

$100 trillion is nearly all household assets in the US, and nearly double all household assets in China.

I like Bitcoin, it's simply not a believable bullish case at all.
That's just an example of how we naturally use dependent types in everyday mathematics: the set of monoids is the set of triplets of a set M, a function m from that M^2 to that M, and an element 1 of that set M such that the given laws hold. You can only define the type of monoids (members of the set of monoids) dependently, because 1 isn't just an element of any set, it's an element of the specific set M.

(Groups might have been a better example than monoids, given that groups are more familiar to mathematicians and the point is to emphasise that this is normal everyday mathematics).
Could you please list some resources that could help a complete n00b like me start from somewhere wrt resilient and self healing infra?