skysight-inc/HackerNews huggingface dataset:
> I am also not clear what the advantage of multistacks is for side effect control.

If you only ever push "effects" onto a stack, you're just building up a trace. The CALM theorem (Consistency as Logical Monotonicity) tells us that concurrent systems can coordinate as long as published information is increased monotonically (rather than destructively changed); as a limiting case, traces are the trivial representation of a series of operations as a monotonically growing set of information.

The alignment between these domains makes me really excited for the next posts in this series. I'm expecting to see a restriction on "drop" for stacks of this type (as alluded to in this post). And if any reader only ever reads a limited suffix of the stack, the runtime (or compiler!) can eagerly prune unreachable parts of the stack.

Also, this makes me very excited for coroutines in this language. I don't think the "main" stack is specially identified in any way, it's just the stack you were using before focusing on another stack. Coroutines are then managed simply by focusing on their stack before resumption; their main stack is simply the ambient one we've set up for them. (Though you may have to do some amount of stack virtualization to avoid needing to generate new stack names; the multistack reduction I posited in a nearby comment relies incidentally on all stack names being statically known.)
That's just silly. If I've used something as much as I'm going to, it has no sentimental value to me, and I'm not planning to resell it, why would I not give it away?
Show HN: SpotML – Pip Package for Managed ML Training on AWS Spot Instances
Sofi has some really solid educational loan refinancing options if you’ve got good finance fundamentals (income, credit), might consider refinancing as much of the high rate debt that you can to enable faster payoff (which leads to more free cash flow for investment, leading to financial independence faster).
A painting is different than a picture, also the volume of copies matter.

Say a museum has one original and 4 copies of a painting. That's 1:4.

With JPG it can potentially be 1:∞

In other words you have to go to that particular museum to see the painting , and everybody knows that you have to go there, there is a bottleneck in the both the quantity and quality of copies of the original, and it's very tight, matter of fact social, logistical and common sense factors limit the capability of copying the painting in 1:1 fashion just to the museum . That's in order to protect from vandalism and theft.

And the beauty of the physical world is that the copy is never 1:1

It's 1:0,9999999999999 and maybe cannot be picked up, but again: common sense.

As a matter of common sense everybody knows that the physical world can NEVER be exactly replicated in a 1:1 fashion.

With JPG pictures instead everybody knows that they can be copied at will, there is no bottleneck and also for pics (unlike painting) it makes no difference if they are visualized on screens or printed.

Finally everybody can make their 1:1 copy and it's identical . And the whole process can be repeated an infinite amount of times and it will ALWAYS be exactly as the original.
I think Honda got this exactly right, at least in my 2018 car. There is a touchscreen that controls everything, but also physical knobs and buttons for the important stuff you'd want to control while keep your eyes on the road (radio volume, A/C, radio frequency, seat heaters, transmission gear, etc). If you want more detail and more options, you can go to the touchscreen, but if you just need the basics, you can do it without looking down.
> I wouldn't say it's comparable to that. In this case, they would've faced the exact same problem (even worse, actually), if their neighbor hadn't been home and hence didn't have anything generating heat at all, which the neighbor has every right to do, and which would've provided zero grounds for them to complain.

At my current residence, the building bylaws require that all units be heated to 60f during the winter, to prevent this exact scenario. So whether it’s a right is very local.
You are right that the quoted passage is not without meaning; what is missing here (and by "here", I mean the whole paper) is any remotely good argument from the relatively trivial factual claim in this passage, to the conclusion that true artificial intelligence is impossible.

The factual claim is about the history of evolution: if we take that history to include everything produced during that history, then it is trivially true that the whole is greater than any subset of the things it produced - but so what? It is true for the creation of a microprocessor as well. There is no argument here that rules out the creation of artificial intelligence that does not also apply to the creation of microprocessors.
Yup, you nailed it. We have a lot of examples of complexity arising from a very simple set of initial conditions and rules. Why should evolution be any different?
Sure these are fine cars, but the "7 seater" is actually significant to me. I don't think even Cayenne does that, despite being larger. And being large is a significant disadvantage where I live.
Kristall is good, but Lagrange is more finished, imho. But the great thing about Gemini is that it is possible to write a fully featured Gemini browser in a weekend, so there are plenty about. Just try writing your own Web browser with anything less than a couple-billion dollars handy. Even Microsoft gave up.

https://news.ycombinator.com/item?id=29291392
They didn't stop increasing or go down, was my point. One would expect that if insurance company profits were a large component of the premium cost, limiting that to 20% would lead to some beneficial reduction in premiums.
Deep learning is expensive and even if you have AWS/GCP credits, you'll quickly run out of it. We built the tool to make training cheaper and to have these credits longer.
SpotML is a command line tool that automatically manages ML training on AWS spot instances which are ~3X cheaper. It lets you handle spot interruptions by resuming training using the latest checkpoint.

Documentation link to try it out - https://docs.spotml.io/getting-started

Looking for feedback from early testers. You would be an ideal candidate if you have a side project that you're spending your own money to train.

Acknowledgement: - SpotML is built on top of existing open source library Spotty: https://github.com/spotty-cloud/spotty
Can any Gemini proponents explain what its benefits are compared to just adopting a minimalist subset of HTML? The goal of bringing back the early web (hyperlinked text documents without all the other junk) is great, but making it incompatible with existing browsers makes it unlikely to grow beyond a small, walled-off community of enthusiasts. Is that considered a feature rather than a bug?
That was a good one.
Wow I am shocked this is remotely legal. I don’t understand why the government isn’t doing something. They got in trouble for so much less for what they pulled in the 90s with IE.
It is possible to appreciate art without tedious pro-forma denunciations of the artist's behavior? At some point a creator's name is less about a historical person or apocryphal personage than the collective value found in artifacts and ideas.
this author is revealing something embarassing about themselves, namely that they think of expertise in almost exclusively financial terms. knowing how to get rich is not really the same thing as expertise to me.
Reality Tunnel
> with no need for extensions and adblockers, javascript or fancy frame-based pages

Doesn’t Gemini expose your IP address? Would it make sense to bundle TOR with the app?
> Paintings are trivial to replicate

The physical world simply cannot be replicated 1:1 .

It can be 1:0,99999999999 but it cannot ever be 1:1

Also it very costly to replicate a painting, whereas saving a JPG is essentially free and can be done infinite amount of times.
I really like Stadia for this. It's not perfect, Google does a horrible job running it, and there aren't a ton of 'big' games.

But not having to download games or updates really changes the way you treat it. You just dive in for a few minutes at a time if you want, or hours for the times you have them. Play from your tablet or phone if you want, or pick up a controller and play on the big screen.
I prefer Amfora as a TUI client:

https://github.com/makeworld-the-better-one/amfora#amfora

But I'll give Diohsc a go!
What product improved quality of life so much you wish you did it sooner?
> And it turns out does the opposite of what I thought it would do.

As a Jew, this amuses me greatly. :) That day you learned about one of our greatest loopholes. BTW fun fact, it doesn't count as work if you get a non-Jew to do it for you (or in this case, a computer).
Hilarious Standup on Computability Theory
Very insightful :). Now I need an AI to tell me when silence is deliberate or not. :)
Oh for sure, I even use services like camelcamelcamel on Amazon to ensure I am getting a good price. It's unfortunate that we have to rely on third party services just to get more fair consumer standards.
This is a hard question, like asking how you make friends.

I don’t go to conferences myself. But if I consider people in my network who I would vouch for it’s:

- Classmates from schools or various programs who I became friends with or joined the same clubs so I find them interesting

- Coworkers who got things done and seemed smart. They had my back and always made sure the right person got credit for things.

- Various meetups and events in my city. My particular interest is Biohacking and startups in general but I am sure there are crypto, healthcare, self driving, hacking, or meetups in whatever topic you might have interest.

- People I only met once or only through LinkedIn messages. They went out of there way to recommend for a job or help in some way when I asked.

I will say it’s far easier to network in person. People trust you more. And it’s far easier to network when you have done something cool to that other person. (self projects, sold a company, etc)
FWIW I technically use exFat, my mistake.

Either way, NTFS isn’t supported by Proton and I’m still on 5.14; 5.15 was only released on Halloween 3 weeks ago and isn’t in most distributions/repositories yet or nearly as battle-tested. However I am excited to get my hands on the better NTFS support.
Yeah I'm obviously assuming the resident hasn't already entered into a contract or a jurisdiction with specific laws mandating them to heat their homes, that'd kind of make the question moot.
Click on setup and then exit and it’ll never ask again. Never had an issue with that
> how this person was not really suffering that much

What is this, the depression Olympics? Give me a break.
Yeah, unfortunately I don't even really consider Firefox when I am considering browser options anymore.
Taking this as a lesson is just survivorship bias, unless all the failed 90s companies have had their business plans replicated.

Some ideas are ahead of their time; some are just bad.
In case anyone wants more detail on the internals:

The initramfs is the first root filesystem a Linux system has but it resides entirely in RAM. It's initialized using an archive stored on disk, but after that point can be modified freely without touching disk at all. Very much like /tmp in distros that store /tmp in memory.

initramfs is mostly for loading stuff required for booting the system. Usually these are storage related - maybe your root filesystem lives on a disk that's encrypted, backed by RAID, etc. and it requires a password or some modules that aren't baked into the main kernel image. If you include these modules/config/etc. in your initramfs and the initramfs's init (it has a distinct init from your main system, usually a shell script) knows about them then they can be used to bootstrap your root filesystem.

Of course, it requires that the initramfs be stored on a filesystem whose code is baked into the kernel. ex2 is/was a popular choice, as well as the UEFI system partition (basically FAT). Both simpler filesystems that don't bloat the kernel too much.

Once you've mounted a filesystem of some kind in the initramfs, you call pivot_root and the root filesystem switches from being the initramfs to being whatever filesystem the initramfs mounted. Then you can exec that filesystem's init and get the full system up.

Or you could just stop in the initramfs. Usually they just contain busybox and some other system binaries so they're not practically useful, but at one point I experimented with including a Lisp there. It never ran on real hardware but I was able to boot to an SBCL REPL via QEMU, which was pretty cool. The next step was Emacs but that didn't work out for reasons I don't remember clearly.

[1] https://wiki.debian.org/InitramfsDebug
Facebook has no choice in the matter. Regardless- PRISM is run by the NSA to conduct court-approved foreign surveillance.
Taichi: Python based parallel programming for everyone
> Can we realistically take all that embodied energy that represents our current state and expect/demand that developing nations to pay the same price for carbon as we do, starting now?

Yes. Because the alternatives are stark and unwelcoming. And developed nations should enact development sharing to assist at the desire of the developing nations (way more than tokens and pittances).

If we want to go far, we have to go together.
The comments seem to be consistent in messaging that this is very much against the spirit of meditation.

Unfortunately, I think your idea will easily succeed because people can't delay gratification, which is exactly what meditation requires for success and exactly what gamification discourages with its incremental rewards.

Good luck on your endeavor. I hope you find a pattern that maintains the spirit of meditation rather than undermining it.
now i'm confused.
I, too, have little time for gaming. I love my Xbox Series X - together with Game Pass I have more games than I will ever be able to play. Things Just Work and load times are basically nonexistent, can jump straight in when I do have a short moment for some gaming. Game Pass Ultimate even lets me play on Chrome on my Mac and on my Android phone, although I rarely actually use it, it works pretty well.
I'm blind and I could call people whose numbers I know even on a dumb phone with no accessibility. At the moment, some strange failure of the phone screen reader, accidental switch off of volume or whatever and it is game over. Try to restart by the hardware keys and pray that you are not left with a thousand dollar brick in the middle of a trans-continental trip. Real story with my first touch phone with the only difference that at the time I didn't know the hardware keys to restart the brick.
Pretty much, yeah. It's better seen as a souped-up Gopher than a Web alternative.

I've been making a concerted effort to learn Gemini while still keeping my head, and while I still think the idea fundamentally is pretty useless, the people involved are generally nice to hand out with.

https://portal.mozz.us/gemini/gerikson.com/gemlog/gemini-sux...
This is largely the same problem as piracy. No, you're not depriving someone of their property that they can no longer use due to your actions, but many people who could very well afford to pay for media (of course barring the horrible issue with how you're actually given a "license") end up depriving the owner of revenue by watching it without paying.
It' both the OS with the worst security history on the market and the ill-conceived all-your-eggs-in-one-basket authn/authz that depends on the OS's security.

In principle, centralized authn/authz isn't a bad thing.
That story sounds exactly like Ooka Tadasuke. https://en.wikipedia.org/wiki/%C5%8Coka_Tadasuke#Famous_case...
Aside from the supply chain & consumer preferences, energy consumption increases at a slower rate than battery capacity as you grow screen size. This means poorly done power management is easier to paper over in a larger chassis by growing the battery.

My mini 12 has a 25% smaller battery than my last Android. I can easily stretch the mini multiple days on a charge, but the Android phone struggled to hit eighteen hours despite my best efforts.

Google is in the best position to drive improvement in this regard, but they've shown no interest. Indeed, it seems Pixel phones have a reputation for poor battery life.
The Gamecube was and is by far my favorite console, still; which is easy to say because mine's still humming along as smoothly as it did in 2005. Built like a brick, great ergonomics in the controller, no "loading" between levels or startups, and the games are free from the various monetization schemes that I find plague games these days. I find the graphics a lot easier to parse than the overly "noisy" graphics that consumed the next generations.
Keto-You
I think you could get these people to join you in your distaste for expansive corporations by allowing Amazon to both take money from people without an exchange of goods and letting Amazon jail people who break its polices.
A Lumber Poacher Has Been Foiled–By Tree DNA
Sure, but is that a versus that comes up much? It seems to me they're orthogonal. You can do on-prem serverless, after all.
Yeah, that is how I am envisioning it as well. It is a ticket to services I've already created, and services I intend to create in the future.

And sure, a user could create a shared wallet and let others see the interactive capabilities of the art in that wallet. Personally I wouldn't mind if someone wanted to do this, my collection will have X number of unique pieces, each of them are a completely different generative piece. So, yeah, you could buy a piece, put it in a shared wallet, and share it with your friends. Up to the purchasers of the piece to do what they want with it :)
> This is the point when the GDPR kicks in,

In the real world, Facebook doesn't trade money, but services, for this data. (Mostly.) And the GDPR applies all the time.

Do companies have a “legitimate interest” to give pseudonymised transaction data to Facebook (pseudonymised using Facebook's answer key), in return for “marketing and business insights”, without the consent of those whose data is being traded? I'm pretty sure that doesn't fall under legitimate interest, and there isn't another GDPR reason that might apply.
The Stolen Smell: https://vimeo.com/229846100
just because something is profitable doesnt make it not stupid.
They presumably focus on the fact that the government can use the threat of violence to take money from you against your will (imprisoning you if you don't pay your taxes, for example), whereas the methods of coercion available to a monopolistic company (or a cartel of companies) are much more indirect and seemingly avoidable.
The worst mountain disaster in British history
I just want notepad++ for the mac
Not just experts, visionaries too. One that strikes me as odd is Electric cars. Why just make a 'faster horse'? We can have battery transport options in all kinds of shapes and forms, why sell sedans and SUVs and underutilize the road networks?
Meta, but your comment was (IMHO) a great example of constructive criticism. Show HN is about that, not just staying silent and letting the users work die.
Even though I have a "last gen" Subaru Outback I would never replace it with a new one because they put in a huge center console screen and removed the knobs for climate control. What is odd is the Subaru Ascent actually has knobs for all of this.
Tools like this are designed to remove awkward silences.

What it sounds like the GP is after is something more like hiss and pop removal (to use an only vinyl analogy) and that’s a different and also simpler problem to solve. I’d wager there are already tools on the market for that.
The grey area is if attackers built a weather machine to create exactly the perfect storm tailored to stress a small design defect until it fails. Even more so when the probability of such a storm occurring naturally is 0.
It was really hideous. My first thought when reading the title was remembering how terrible it was and thinking "yuuuuck"
Unfortunately in my state, the party of small government does not like cities deciding what to do for themselves and has taken away a lot of our city's power to make rules for itself.

I for one am in favor of the kind of division you mention, for precisely the reasons you mention. But some people are not happy just deciding things for themselves. They are only happy when they also can decide for others. Lots of people from all walks of life and government like this.
>Gaming PC’s for the most part are more of a liability than an asset to game development, owing to the constantly need to upgrade, driven by faster and faster CPU’s. It removes the incentive to design better software.

I get where you're coming from, but I very much disagree with this. It's like saying modern cars with safety features are a liability to road safety as it removes the incentive to have better trained drivers that pay attention to the road. One does not necessary mean the exclusion of the other.

HW advancements give more creative freedom to game designers and can let the studios focus more resources on the look and feel of the game rather than wrestling with technical limitations like in the old days when even 2D side scrolling games on PCs, like Commander Keen, represented a technical challenge and needed the incredible mind of John Carmack to pull off.

The vast, open, complex, high fidelity worlds we enjoy in famous titles today only exist because consumer HW has advanced enough at a palpable price point (barring the post-2020 scalpocalipse) to support the vision of the designers. Games with such details would have not been economically feasible on consumer HW in the distant pass even if you had to code them in raw assembly from scratch.

So IMHO it was good thing when every now and then a new game like Far Cry or Crysys would come along and break the mold by exceeding what the current gen mainstream HW was capable of, showing what the near future could look like when HW gets a bit faster and more affordable. But those days of the rebel engine designers that would leave everyone drooling in awe with visuals that only delivered on $3000+ PC HW are pretty much behind us now, as every studio is designing games to work on the lowest common denominator (consoles and phones) as that's where the majority of users and $$$ is.

And one can say, "Well, what was the point of making games that looked amazing on HW nobody could afford at the time?" but the same could be said "Well, what was the point of going to the moon when nobody can afford to go there?". Innovation needs disruptors to break the mold and push boundaries for the benefit of the knowledge gained in the process, as it will trickle down later with time.
I started working on jEdit when I was 14 and developed it for 6 years or so. While I haven’t used it in a very long time I’m humbled to see that it is still being maintained and has users.
I actually use maxima as a faster wolframalpha alternative. It doesn't look as polished but it gets the job done when solving or simplifying most equations.
You misspelled “Promotion to Senior Product Manager.”
Do we have other choices, when the alternative is the Apocalypse?

And it's not like rest of the world doesn't benefit at all. The early adopters always pay more, the late adopters get to leapfrog.
State employed officials with guns will show up and remove you from a house if you are living in it without permission from the person who owns the deed. That is ownership.

There is no thing that another person can do regarding a piece of art backed by an NFT that you own that will cause state employees with guns to show up to stop them.
Ovipost (YC W18) Is Hiring a Project Manager
The main thesis of the life's work of Stephen Wolfram is the idea that simple processes can produce greater complexity than the process itself.

https://www.wolframalpha.com/examples/science-and-technology...