skysight-inc/HackerNews huggingface dataset:
Pretty much the only benefit I've seen of running prettier on Markdown is to highlight mistakes in formatting that otherwise wouldn't be apparent without viewing rendered output (which it highlights mostly by trashing the file in some fairly obvious way).

The stated philosophy behind Prettier is to end arguments within a team about how to format code, which... Given Markdown is already heavily constrained, barely applies; unlike other languages supported by Prettier, there are precious few adjustments made to Markdown that are clearly intentionally made in pursuit of consistent readability - indeed, if I recall correctly the Prettier Markdown engine is mostly just a round-trip through the remark.js parser and stringifier, and the results reflect this - the results look mechanical, and it is just as likely to eliminate whitespace that lends clarity as it is to add it (if not, as the GP suggests, more likely).

Sadly, there are remark.js plugins that could have been used to e.g. enforce consistent use of whitespace without stripping everything down to the bare minimum, but last I looked the Prettier folk were pretty hostile toward any suggestions that their (default, bare-minimum-effort) "style" was at all problematic.
thanks for the encouraging words @ethegwo. Tonbo looks very cool and potentially something we could use for our state backend (currently using RocksDB which we aren't that happy about). Would love to chat about how we can work together. Feel free to reach out to me - amey@denormalized.io
Bring back Google Now. That's all I want from "AI": What are the things I should know about that pertain to MY life/schedule.
I was wondering why Google suddenly turned on "prompt authentication" on zero-security feature accounts yesterday. Now I "must" have a phone nearby to use Gmail... Tap to authenticate every time you want to look at ... ad spam.

With this, Ticketmaster, and the CDK Global car theft, is there anybody on Earth who doesn't need data protection? Poor people in Somalia need data breach notices. People who are not even on the WWW need data breach notices...
Every mathematical monad comes from an adjunction, which unfortunately implies they're not as windowless as Leibniz would like? (or does it merely imply that in the Leibnizian setting the structure is always external and never internal?)

Can we make a mathematical monad out of the adjunction presented above? Let g(C) be the minimum G and c(G) be the maximum C in the model above, then we certainly have g(C) = g(c(g(C))) and c(G) = c(g(c(G))), which formally suggest we may be able to do something.

Exercise: does the triple (T, μ, η) exist? what about (G, δ, ϵ) in the other direction? If they do exist, what are they, for Aquinas, Leibniz, and Spinoza?
founder/developer here - yeah, in the last couple weeks I've had in the back of my mind switching the wording to "lightest-weight application deploys on Kubernetes" or something like that.

environment is an incredibly overused word for devs. development environment might even mean IntelliJ, not a k8s cluster with your dev versions inside of it

been going back and forth a lot on how to make this more clear without introducing additional confusion
Munzee but I'm unsure if you were being ironic.
Show HN: An extensive set of RAG implementations+many different strategies
Hi all,

Sharing a repo I was working on for a while.

It’s open-source and includes many different strategies for RAG (currently 17), including tutorials, and visualizations.

This is great learning and reference material.
Open issues, suggest more strategies, and use as needed.

Enjoy!
Correction - backup and restore was there, just not incremental backups. Which, yes, on very large DBs = no backup.
Nice! What's the use case your agent solves for?

I'm happy to spin up some scenarios that are more relevant for you instead of our stock demo personas :)

Feel free to email me at sumanyu@hamming.ai
Show HN: A free financial planning tool to help startups live longer
EvryThink v1.0 is an all-in-one financial planning tool designed specifically for startups, SMEs, and freelancers. It helps you take control of your business's finances by providing essential planning features that ensure you’re prepared for growth and challenges. From budgeting to forecasting,

EvryThink v1.0 makes it easier to manage your financial health, reducing the risk of financial pitfalls that can threaten your business. By focusing on clear and actionable planning, it empowers you to make informed decisions, helping your startup not just survive but thrive in a competitive environment.

Early access is open to those who want to tryout the tool that's in closed beta.
> As of December 2019, Eritrea, Marshall Islands, Nauru, Palau, San Marino, and WTO Observer countries Iran, Iraq, Ethiopia, Somalia, and South Sudan are not a party to any copyright convention.

https://en.wikipedia.org/wiki/List_of_parties_to_internation...
The answer is pretty obvious. They don't want people remembering the content producers. Same reason they've worked so hard to kill the subscription feed on YouTube. They want you to rely on their recommendation engine.
Like I said, there are cargo cults everywhere now that don't quite get the point and to likely detrimental effect.
>The Post-ZIRP Future: A Shift Towards
Efficiency

>A Polished UI is a Must-Have: User experience is no longer an afterthought. A polished, intuitive UI is crucial for user retention and satisfaction, making it a priority in the development process.

What are they talking about here? I feel like UI is significantly worse post-ZIRP. Look at what a mess Twitter/X has turned into. I also see a lot more UI bugs on various IOS apps (Reddit being the major one).
"Taxed similarly" means a standard progressive tax, but "tips income" and "capital gains" are not given preferential tax treatment. All income becomes fungible and eligible for taxation normally. You can still have special tax treatment for things like retirement or medical benefits (in a perfect world the government

Livable really means, someone on minimum wage should be able to afford housing and food/etc in a given area. Whether that means gov subsidized housing (e.g. HK residents pay like 300USD/mo rent) or a higher minimum wage is an implementation detail.

Taken together, these would greatly reduce the income inequality (Gini coefficient) and lead to a more fair and stable society.
Being frank, you shouldn't be making the 40+mile commute in a car if you can't afford all the ramifications of it. It's a failure of societal design to force people to drive 40 miles on a vehicle they can't responsibly afford to operate just to survive.

In the end, they shouldn't live 40mi from where they work. It's not a good thing to force such a lifestyle.

Honestly it's depressing you're suggesting we should continue to force people to spend so much of their productive lives commuting to dead-end jobs that will never lift them out of the poverty of their situation. It's sad you're continuing to argue people should live an hour+ away from where they work, and that should just be the norm and the basis for our designs.

If you want to live 40+mi from your work and can afford all that involves and are willing to live with the tradeoffs, sure go ahead. Pay the tolls for the highways. Pay the congestion fees. Choose to spend more time with the insides of your car than you do spending time with your family on an average weekday. Pay the higher insurance compared to those who live close or take the train. Just quit asking for handouts and subsidies to pave over other people's homes, force bullshit parking minimums which lead to seas of empty pavement, demand other people pay for the roads you drive, etc.
Thanks — glad you found our site and like it! :-)
>> hosting pirated content?

If you run a service that allows people to upload data, you are hosting pirated content. The DMCA was specifically designed to address this, to create a system whereby those who host data are not on the hook for every violation. The issue is not that you host pirated content but whether you are following all the rules necessary to enjoy safe harbor protection.
That could probably be called a Heisenbug[0]: A bug that disappears or alters its behavior when one attempts to probe or isolate it.

Though it depends on the cause - as others in this comment chain said, if it's just that the file isn't actually being updated between tests, but adding a new line forces an update/recompile/etc., I'm not sure what you'd call it.

[0] http://www.catb.org/~esr/jargon/html/H/heisenbug.html
> What an ignorant take. It would help for you to expand your horizons and realize that other countries have reasons for doing the things they do. The world is not one size fits all.

From what it looks like across the pond, when it comes to American politics(and anything adjacent) the answer is almost always "greed".
How the Hidden Sounds of Horror Movie Soundtracks Freak You Out (2016)
AS Lars already remarked, CO2 in water produces H2CO3, which is acidic.

NO2 has a sweet taste cf.
https://en.wikipedia.org/wiki/Nitrous_oxide
We tried to standardize exactly this - eBPF programs offloaded onto the device. The NVMe standard now has a lot of infrastructure for this standardized, including commands to discover device memory topology, transfer to/from that memory, and discover and upload programs. But one of the blockers is that eBPF isn't itself standardized. The other blockers are vendors ready and willing to build these devices and customers ready to buy them in volume. The extra compute ability will introduce some extra cost.

I'm still hopeful that we see it happen some day.
I meant a network level firewall at the perimeter, but this is good information to know you can’t rely on the Windows firewall.
SendGrid Is Down
Flight is an easy target because alternatives exist or could with relatively little effort be made practical. High-speed rail is a thing. And it's not like anyone actually needs to fly to South-east Asia for vacation every year.
There goes the god Apollo…
They aren't really special except that adjoining the solutions to a radical to a field make the associated group of automorphisms simplify in a nice way. Also at the time tables of radical roots where common technology and Newton's method was not. But fundamentally, we can define and use new functions to solve things pretty easily; if you get down to it cos() and sin() are an example of this happening. All those applied maths weird functions (Bessel, Gamma, etc) are also this. As well, the reason not to just use numeric solutions for everything is that there are structural or dynamic properties of the solutions of equations that you won't be able to understand from a purely numeric perspective.

I think taking a specific un-solvable numeric equation and deriving useful qualitative characteristics is a useful thing to try. You have cool simple results like Lyapunov stability criterion or signs of the eigenvalues around a singularity, and can numerically determine that a system of equations will have such and such long term behavior (or the tests can be inconclusive because the numerical values are just on the threshold between different behaviors.

That's one of the really fun things about taking Galois theory class - you get general results for "all quintics" or "all quadratics" but also you can take specific polynomials and (sometimes) get concrete results (solvable by radicals, but also complex vs. real roots, etc.).
Not when the language is used to accuse someone of a crime. He is no pirate, obviously.

> He knowingly participated and basically tailored his products to pirating
I mean if they're referring specifically to leap seconds or to some other obscure complexity about dealing with real time.
Most people don't need to know how to code or have access to hacking tools. Their are such limited use cases for such tools and a great deal of harm can be caused the abuse of them.
> put it back in the open-source world

Just to clarify - FoundationDB was never open source before 2018. Binaries were available under certain conditions, but no source.
Yes! Drive-through customers can be very impatient. We tried to make the demo persona maximally annoying.

Testing for edge cases is especially important because getting an order wrong can cause health hazards, long line-ups, and churn!
Is the article is gone ?

I got a cert exception, when I said go on I got "404 Not Found"
I get your point in principle, but even if I were inclined to get litigious in a situation like that (which I'm not), I don't see how such an argument would have any legs for anything other than the most niche algorithms in the codebase that concern features or systems are more or less unique to Stipple Effect.

I will reflect on this though. This is my first time commercially distributing software, and my priorities for the license were for it to protect my IP without being overly restrictive. However, I've had a few people in separate spaces raise concerns with it, and I want my software to be as accessible as possible without compromising my ability to profit from it or expose myself to liability or "theft".

I'm the sole developer of Stipple Effect, so I can update the license with a future release if I feel compelled to do so.
Visually Chrome now look more like Firefox, really, thin tabs with declining borders have been substituted by thicker one with vertical border. Practically if feel faster on the same iron, and it's more rigid in user UI change, for instance you can't have Tab Center reborn and hide the tab-bar because you are on a large screen and you like to been able to read comfy all tabs...

For the rest... They are essentially equivalent even if under the hood there are many differences.
The difference isn't that big though. Sure with software RAID you write 1GB to a 8 disk RAID6 you write 8/6 x 1GB = 1.33GB. But with RAID offload you nearly double the NVME bandwidth (n - 1) x 2 consumed.

I also wonder, if you have 8 NVMe, write to a stripe to one, it does the RAID calc and sends each disk the share of the stripe. What happens if the master NVMe dies? It's not really a RAID if a single disk can kill the RAID.
Did it? If I go to youtube right now, I will get tons of ads selling illegal stuff which Youtube profit from. This is against the law but it seems that they don't get bothered by the law enforcers.
This is so bizarre.
Wow. Something is deeply wrong with that judge if he cannot deal with a non threatening situation without resorting to the humiliation of a child.
Evernote's free plan allows one synced device: itself
I get wanting large companies and cloud providers to pay, but mandatory telemetry collection in the self-hosted version of the product is an absolute non starter.
A related thing that happens a lot is when the demo is way slower than it was when you were testing it. But at least this one can be explained by screen sharing applications adding latency to your refresh rate. It really is slower when you share your screen!
This actually moves stuff out of the "contact us" tier, where it used to be, and makes everything available to all.

There are new hooks, but paywalling capabilities was not the point here.
Prettier disagrees, as I understand it. Its authors know it's "wrong" to take this:

const matrix = [
1, 0, 0,
0, 1, 0,
0, 0, 1,
]

and collapse it onto one line. But their view is that reformatting everything from scratch is more important that such things, and that it's reasonable to add /* ignore */ comments to every single place where you want anything preserved.
This. The phrase "intellectual property" is an attempt to confuse a censorship strategy that's a few hundred years old with an entirely separate tradition that's been with us for millennia. They're very different, whatever words you use for them.
Open source Wikipedia search through vector db
The ability to turn off telemetry collection is missing from the free version as well. No thanks.
There's the alternative:

* The program works flawlessly

* Somebody finds a bug on the code that is executed in a test

* The relevant test now fails consistently

Both are probably because you changed something on the environment when you looked at the code.
They have exhausted all other options and direct action is all that remains. They aren't misguided, you are.
The need comes from a set of pragmatic concerns, current reality, and the way human systems behave.

What’s the concrete proposal here? There ain’t much in the Debian repos, for example, that’s useful to me for anything but tinkering, as far as things that make my everyday life better and easier. I’d have to bring in closed-source software and engage with a bunch of megacorps to make an open-ecosystem device do anything I care to do beyond playing with it. How is that an improvement? What do I tell my wife to do with all this? My dad? “Here, I put an open-source os on your phone, it’ll get worse battery life, much of the automation you use daily is now not available, a bunch of platform features you use are gone, most of the apps you like aren’t here, and things like notifications are probably flakier than you’re used to. Just use the web browser for everything important”?

Apple sucks. Sure, we agree. So what? The alternative is—unilaterally—largely disengaging with the benefits of computing technology in day-to-day life and waiting for the government to fix the whole shitty industry.

The appeal of Apple is I get a partial solution to the problem of every damn “legitimate” company trying to spy on me and open up back doors to my system, that I can recommend to other people in my life, and since this solution is basically the exact opposite of “become a tech hermit” people will actually do it and be glad they did it. Me included, because I don’t want to become a tech hermit (unless everyone else is also going to, in which case, yes please, very much yes).
The sentence you quote actually gives you the answer to your question but it is not completely obvious why. :)

The complex numbers are essentially the theory of 2D-space. You are asking about 3D-space. The statement that you quoted tells you that you cannot distinguish between up and down in theory.

Now, 2D-space is part of every 3D-space. There are multiple ways to see this. The easiest is to just drop the z-coordinate.

Suppose you could distinguish left-handed and right-handed in 3D-space. In this case, you would have a way to distinguish up and down in the embedded 2D-space. However, you cannot do this distinction in 2D-space and therefore you cannot distinguish left-handed and right-handed in 3D-space.
Love the flowchart graphic in the post - what did you use to make that?
You are unfortunately making the same incorrect conclusion many of us did back then.

It was about the _Name_ , never about the syntax/implementation.

Gruber was very clear with his license and regular words that he did not allow the usage of the name in a manner which would cause people to be confused or suggest that it was an official implementation.
Nor is piracy, in the literal sense, the crime he is accused of. So I'm not sure what you're up in arms about.
Lower case headers are required for http/2 requests and responses.
I'm intrigued by the concept of counterfeit phone cards. (I mean the ones mentioned before the CCC section. The CCC part seems to be about SIM cards, maybe a bad translation.)

As I understand it, modern phone cards are just some long phone number prefix with an associated PIN, and I don't know how you could meaningfully counterfeit those, as the system surely checks the account number, PIN and remaining balance are correct. I guess it might be possible to steal them if you can force a store employee to activate them for you, but a fake card would be worthless, right?

It made me wonder if these were some kind of stored-value system, where the card can't be validated by phoning home. Apparently Austria had those. But from re-reading I don't think that's what Germany had, though I'm not sure.

Was it simply a way to scam other scene members by selling them worthless plastic? I don't get it.
It's 2 cosets, one is arbitrarily left handed and the other arbitrarily right handed. If you are in an orientable space :) if not, then there's no global concept of left or right. a
Yes, we are -- and it's worked well for us! (The most acute issue we hit was actually a gnarly OS issue[0][1].) That said, we are not currently a Cockroach Labs customer and we will not be becoming one for purposes of licensing CockroachDB. We are abiding by the terms of the BSL, and the version that we are on (22.1) will be Apache licensed in May 2025; by that point, we will maintain our own Apache-licensed fork for purposes of being the database for the control plane included in the Oxide rack.

We will be outlining our current direction in an RFD[2] that we will make public -- and we will also make public our RFDs that pertain to our selection of CockroachDB and the other alternatives that we evaluated; stay tuned!

[0] https://www.illumos.org/issues/15254

[1] https://oxide-and-friends.transistor.fm/episodes/a-debugging...

[2] https://rfd.shared.oxide.computer/rfd/0001
The purpose of this type of action is not to stop the carbon emissions at that moment, but to get people’s attention to hope something is done in the future.

The main discussion is whether this kind of action will create the intended result.
Crater formed from Earth's extinction produced by carbon-rich 'C-type' asteroid
Probably nowhere, as many countries are fine with piracy/copyright violations until you start profiting from it: https://old.reddit.com/r/Piracy/comments/b6rpzx/here_are_som...
Thank goodness that Google execs are too high-profile to be prosecuted!
I've been a Firefox user for years—it's more than a suitable replacement for Chrome. You can also use adblocking extensions on both mobile and desktop.
Once I added a comment and my bug went away. That was when I went home for the day.
> What does profit have to do with lay offs? Cisco has no obligation to continue employing workers

Fair enough. sfgate.com has no obligation to not relate profit and layoff either.
This was also a time of wealthy patrons
The tool to visualize 4D rotations is here:

https://qri.org/demo/4d_wave_control.html

Observation: This might have future potential applications in visualizing such things as subspace, stargates, portals, pocket universes, and (my favorite!) warp drive -- should any of these presently fictitious things ever exist at any point in the far future!

Of course, one could simply use it as a tool for matrix and/or linear algebra visualizations, and any present-day application where matrixes and/or linear algebra are employed... (i.e., Zach Star, "The Applications of Matrices": https://www.youtube.com/watch?v=rowWM-MijXU)

Related:

https://en.wikipedia.org/wiki/Anti-de_Sitter_space

https://en.wikipedia.org/wiki/AdS/CFT_correspondence

https://en.wikipedia.org/wiki/Holographic_principle

https://en.wikipedia.org/wiki/Leonard_Susskind
Do they? I know for sure nobody in my circle of friends cares in the slightest if people pirate media from huge companies.

I don't think anyone other than Disney shareholders gives an iota of a damn if others pirate movies/shows/music from the big guys. And I especially don't think most people would seek extradition for a guy who hosted a piracy website, especially, that's the type of thing psychopathic execs and their ilk seem to be into. Especially someone who's not even a US citizen or has any affiliation with the US.

Also, keep in mind we're talking companies like Disney here, who are currently fighting a legal battle [1] because someone died due to their negligence and using the argument that agreeing to the T&C of their streaming service absolves them of wrongdoing in a person's death.

So yeah, don't expect anyone to feel sorry for the plight of the poor soulless megacorporation here, they'd destroy the earth if it made them half a nickel more in yearly profits.

[1] https://www.bbc.com/news/articles/c8jl0ekjr0go