skysight-inc/HackerNews huggingface dataset:
> I want to build a web browser.

Mild nitpick but "web browser" and "rendering engine" and "JavaScript" are different.

Anybody can take WebKit and do some cool stuff on top in the UI and call it a "web browser".

At the end of the day, without patching to the HTML/CSS rendering engine, it's going to perform like every other WebKit based browser, right?

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

I know Chromium uses Blink and not WebKit now.

Looks like Ladybird is based on https://en.wikipedia.org/wiki/SerenityOS "LibWeb"

That's all just rendering. You need to hook a JavaScript engine up to the rendering engine as well (with glue to the DOM from what I know?)

Chromium is Blink + V8, right?

Does Ladybird SerenityOS Libweb also do JavaScript?

> Browser with JavaScript, WebAssembly, and more (check the spec compliance for JS, CSS, and WASM)

It does. https://github.com/SerenityOS/serenity https://github.com/SerenityOS/serenity/tree/master/Userland/...
Do you have an explanation for why, since solar/wind seems to not only pay for itself, but earns enough to 4x it's initial investment in 17 years, that it's not being done?

BlackRock has $10T in liquid capital available to put towards the best investments. Putting just 1% of that towards wind/solar ($100B), given the incredible returns you are indicating, seems like a wise and prudent (and lucrative) investment.

Is that happening? (I honestly don't know, but if it isn't, I'd like to know why—BlackRock is a major ESG supporter so they're clearly on the solar/wind train.)
This refrain has been repeated through time immemorial, stretching as far back as the ancient Mediterranean, Chinese and Vedic cultures. They have consistently been wrong.

Ergo, the conclusion I draw is that if there is a limit to human intelligence, we are not even close to it.
> I don't think you're correct on this issue? "x11 + x12 = 1" means that "x11 or x12 are 1, and the other is zero".

and

> In most of the 3SAT / SMT solvers for Sudoku I've seen, you set up the variables as: "X111, X112, X113, X114...", which means "X11 == 1", and "X11 == 2", etc. etc. So you then do "X111 + X112 + X113... X119 == 1", meaning "X11 is either 1, 2, 3, 4, 5... 9".

Yes, I've been a bit to fast here. You're absolutely right.

> I've been told that "because everything is {0, 1}, more optimizations / inferences can be discovered" in 3SAT/SMT solvers compared to constraint programmers. Meanwhile, constraint programmers benefit from generic constraints that have a polynomial class subsolution (ie: using maximum flow, or other simpler algorithms to solve the subproblem).

Yes. SAT solvers very often outperform CSP solvers nowadays. But SAT solvers tend to lose the structure of the problem because they are so low-level. The most famous problem they fail to solve is the pigeonhole problem.

If you have, say, the problem "is there a way to put 4 pigeons into 3 different holes, knowing that there can be at most 1 pigeon per hole and at least 1 hole per pigeon?", the answer is obviously "no", but if you try to use a propositional logic representation (in other words, using a SAT solver), the solving track will grow exponentially (4 vs 3 workds well, but SAT solvers will struggle to solve 11 vs 10 in a reasonable amount of time). Pseudo-boolean solvers will be able to using "cutting-planes" strategies that work well for this specific set of problems, but these are slower in the general case.

Plus, modeling your problem in CNF to feed it to a SAT solver is usually incredibly complex and can lead to gigantic formulas if you're not careful. So most of the time, it really makes sense to first use a CSP representation, and fall back to a CNF representation if you're not satisfied with the results for some reason.
It might be worth pointing out that JWZ doesn’t like HN and redirects any referrals to an interesting image, in case you were thinking of clicking on that directly instead of copying and pasting.
KYC applies to money transmitters directly. End consumers only indirectly by virtue of any financial institution ending up in hot water for non-compliance.

You don't get to shift regulatory burden to the consumer.
start with the best search engine.
searx.org
Calculus Made Easy [Book]
Thanks for troubleshooting for me but no. Just a stock popular browser.
Show HN: Hopscotch – Find your ideal NYC neighborhood
If you’re moving to NYC (or thinking about it), Hopscotch helps you discover suitable neighborhoods that best align with your needs or wants. We built Hopscotch to reduce the hassle of mining through various sources to find your optimal living location.

Some features:
- Hopscotch incorporates many filters including proximity to specific locations, budget, safety, nearby stores and gyms, subway lines and citi bikes, and more.
- Hopscotch allows you to customize your priorities and receive personalized recommendations for top neighborhoods and communities.
- You can instantly see your priorities reflected on an interactive map and visualize the best neighborhood locations.

While Hopscotch currently serves NYC, we plan to expand to other cities in the future. Give it a try and let us know what you think!
Agreed. I wrote up some thoughts about the "Rebase considered harmful" article in one called "Rebase considered essential" <https://www.earthli.com/news/view_article.php?id=3864>

"Who decides where one level of granularity stops and the next begins? I think it’s the author of the commits. My workflow over the last ten years is based heavily on being able to massage commits so that I can prepare what I share to the server repository, where it can no longer be changed. I agree that there should be an unalterable history, but disagree with the author on where that history begins."

"My workflow is considerably different than it was before I used Git or had access to rebase. I would now be much less efficient if I didn’t have rebase. It would make me constantly focus on cleaning up commits before I really care to. You could make the argument that cleaning up afterward takes more time, but I haven’t experienced that to be the case. Instead, I want to be able to set the priorities rather than worry about committing something that I cannot undo."
First Nvidia Hopper Benchmark Tests and Other AI Milestones
Ask HN: Who is building credit card size tracker using U1 spec?
Apple's Interaction Accessory Protocol[1] allows building your own AirTag equivalent tracker.

There are chips that support this protocol:

https://www.qorvo.com/products/p/DW3110#parameters

Using all those pieces, it's possible to build a credit card size thin tracker that doesn't bulge the wallet like AirTag.

Who is building this? If you have the expertise in the field can you help me understand what it takes to build this?

[1] https://developer.apple.com/nearby-interaction/specification/
Both work in Chrome on Android. Strange we have opposite experiences. I guess it depends on ISP's DNS.
Yeah, in this case the manufacturer probably didn't have any extra chips. Also, in my experience, these companies were unwilling to go outside their system and charge a markup for their own stock.

Instead of giving me the ICs directly, I had to wait for them to ship an order of dev boards to Digikey that I'd already purchased and they were building to order.
I would argue that covid was a special occasion, or is that always the case?

Afaik medicare only allows you to be insured if your income is less than X?

I don't know how your SSI payment structure compares to the one in my country, but isn't there a big problem with healthcare and the things and doctors it covers?

I don't think the US has no safety net, but I think on average it has a worse one than my country.

If you compare Europe as a whole I don't know, as Europe is very diverse in how they handle social care issues.
I would argue that rather than 'supporting many websites' Chromium has actually warped web development around its own goals. This is one of the effects that really turns me off of it. Google has pushed to make Chrome the OS of the internet.
I think "Creation" was the wrong word for the first step. "Ideation" gets across the idea better: that first stage is just "thinking of the thing"; "Substantiation" is then actually executing on it ("creating it")

Otherwise- really good points, well-written
The line dissolves when you ask a libertarian where property rights come from, and how they apply to land.
The thing is, most web sites are not Facebook. React is usually an overkill; you don't have so many moving parts in a typical web UI.
I imagine there is a reason we built houses with fire places. Also, I am sure that I’d need a shower at some point to join society.
> It may just be differing backgrounds, but what if these are differences in raw cognitive capability?

Honestly, I think ignorance may be bliss. I loathe to think about what arrogance, bigotry, and manifestations of depression would pop up had we concrete ways to measure capability.
For those of you unaware, most households in the USA have 15amp circuits for their wall plugs. With that you can safely pull about 1200Watts constantly.

I am unsure what the normal household circuit amperage is in the EU or elsewhere...
Speaking of black swans. One decently sized meteor strike could cause lots of destruction. Imagine Tunguska in a populated region.
Nice that the options have evolved and added options for extensions and removing some limits. I served a long time ago and vested in the Montgomery GI bill. I suppose the only thing left would be to improve communication around the limits in boot camp if they have not done so already.
I'm willing to wiggle a bit here. Stop putting pictures and fixed width tables in your signatures at least...
format=flowed doesn't work on all readers. I have format=flowed turned on and it still doesn't display as properly wrapped on various email readers.
In normal text (i.e not Markdown), using /slashes/ can get the idea across more visually. I think I picked it up on Usenet where it was reasonably common.
I can't fault the brokers for doing what they do, but one MCU I tried to source the other week had a 40x markup from normal. Yes, 4000%.
Note that if you are running Firefox now, you are using Servo's graphics stack.
That's interesting. As a Tornado Cash user, I have never associated this with an intentional money laundering service, but rather a bunch of developers advancing zk-SNARKs and other cryptographic primitives.

As someone who was excited by the original Bitcoin whitepaper back in 2011, zk-SNARKS was what excited me about cryptocurrency again in 2021.
Hi, author of MVP.css here.

Fair point. I’ll update the site soon to explicitly use a version.

Thanks for pointing that out!
No, here is a link between car fumes and lung cancer in mice. Unless you routinely have a car running in your kitchen while cooking (for mice), it's not related.

PM2.5 particles are not all the same, nor are periodic exposure levels in a household kitchen in any way comparable to those used in a laboratory animal study.

> For what it's worth, the same particulate counter will also spike off the charts when anyone takes a shower, but as far as we can tell those salt pm's aren't dangerous.

Yes, exactly. You are perfectly illustrating my point. You have just as much evidence for this claim as for the kitchen one (i.e. none), but you assume one is fine and the other is not.
The way US goes about banning alcohol on the road is simply not working. There are really hard punishments for driving while drunk, but it is really loosely enforced. So you are very unlikely to be caught, but if you are, your life is gonna suck.

There is also hardly any accommodations for people to go out drinking outside of walking distance from you home (especially in rural areas; it might actually be safer for you to drive in a protected vehicle then risk being hit by a drunk driver on your bicycle). And to top it off, the police it self is really dangerous, so it is hard for friends or bartenders to justify calling the police on a drunk driver.

All this makes a perfect environment for people to rather “risk” drunk driving, which as we know is a disaster. I think banning alcohol is a terrible idea, providing accommodations, better enforcement, friendlier law environment, etc. will go a long way.
-- as it was explained to me (I don't crypto) - because everything is public - you might want to disassociate (wash) transactions from yourself for perfectly legitimate reasons - not really needed in traditional finance as people typically don't have access to your bank account - however - this is not necessarily the same as wanting to take money you gained illegitimately and make it legitimate (launder) --
Sincere question inspired purely by the headline: how many important ML architectures aren't in some way based on some proposed model of how something works in the brain?

(Not intended as a flippant remark, I know Quanta Magazine articles can generaly safely be assumed to be quality content, and that this is about how a language model unexpectedly seems to have relevance for understanding spatial awareness)
Not having a President is reason #1 to keep a constitutional monarch.

The constitutional monarch is a figurehead without much of a day to day role, but who ensures that the demagogue we elect is not at the pinnacle of the political hierarchy.

That's more important than most people understand. A prime minister is always aware of the limits of the role.
U.S. Code § 1955 - Prohibition of illegal gambling businesses [1] stops you from starting a gambling parlor or casino on your basement without a government license.

[1] https://www.law.cornell.edu/uscode/text/18/1955
I first submitted it at least a day ago, I think probably at least three days ago. Clearly it's been put into the "Second Chance" pool, because I did not resubmit this.

Mods: You might want to merge the discussions. @dang
In the real world, people want to have their company logo, nine image links to their social media accounts, and a special font for their signature.

Then they top post their entire email to a 257 email chain, so you have to do a kind of inverted scavenger hunt in order to figure out what they're talking about, none of which is improved or aided by the company logo, special font, or image links to nine different social media accounts.

And I haven't even gotten to grandma's love of emojis to convey her appreciation of your ribald joke about cookies.

Email is a tool, and like all tools, it can be grossly misused and abused.
No, but the reason there are three (at least) lights is that the designers were well aware that colorblindness exists and the position of the light is also significant.
As a compromise, I have a key bound to open a web browser to read any html-only emails. I find it to be the best of both worlds.
I mean, if we were confident one particular food source contributes more to obesity than others, we have a solution that we know would work: tax it (and ideally dedicate revenues to some kind of universal food tax credit). People would consume less of it at the margin and then be less obese.

It would rankle some people, but so do taxes on alcohol and nicotine. My big concern is that I'm skeptical whether we can really identify those "bad" foods and that even if we could whether we could ensure the government would whitelist/blacklist the correct foods.

As far as lack of control goes, I'd be curious if fatter/poorer people would do worse on some kind of adult marshmallow test. Maybe see if you can get them to sit perfectly still for 20 minutes in exchange for a monetary reward. I don't have a strong sense that they'd do worse than skinnier/richer people.
A way to do attribution when using GitHub Copilot
Who should we thank for the code written by Copilot? In a way, we should thank everyone in the training data. That includes: everyone with a public Github repository.

Context: https://github.com/usewits/ThanksForTheCode

You can customize it like this: thanksforthecode.com?name=PROJECT_NAME
I haven't seen a comparison on LP-focused benchmarks with OR-tools CP-SAT. In the 2022 MiniZinc Challenge (https://www.minizinc.org/challenge2022/results2022.html ) both Gurobi, CPLEX (as well and SCIP and HiGHS) participated: CP-SAT was the best in all the categories it participated in.
Fascinating. I was curious because I eat the three I mentioned kind of like rice (along with barley and oats).

I’m behind on this science. A 50x increase in gluten sounds crazy, but I don’t know how much gluten is known to be bad. For example, I sometimes eat things with wheat gluten powder as a primary ingredient. It doesn’t seem to cause harm, but maybe I’m missing something.

I certainly don’t think of it as a health food (nothing so heavily processed is), but is it actually harmful?
Heck, I have a cheap Coolermaster air cooler (I think it was $30) on my i9-9900K. I've run Prime95's max heat torture test on all 8 cores and my CPU will hover around 65 C, well below the thermal throttle threshold.
Squashing and rebasing doesn't have to produce one gigantic commit. It can take, say, 20 "WIP" commits (many of which might not even build), and organize them into 5 commits that constitute logical units with descriptive messages. But raw WIP commits themselves are rarely so organized, unless you invest a lot of time and effort into that while coding.

Personally, I prefer my coding to be free of such distractions, and to use SCM facilities as a scratchpad for fast iteration on the code (the ability to easily reverse changes etc); this results in many commits that don't make sense in the final pull request / code review.
French fries often have dairy in the coating. It's everywhere.
Note that "money-laundering" is only a thing you have committed if you are dealing in funds that are the proceeds of another crime. If you are not committing another crime, you are more than welcome to conceal the source and destination of your financial transactions.

The chief selling point of Tornado Cash was addressing the significant privacy problems inherent in a currency based on a public ledger. The idea that we should destroy privacy tools because criminals use them is ridiculous.
I made Minecraft in Minecraft with redstone
I love the idea of plain text email. But I don't think it works as well with a huge volume of mail most folks get.

As I create emails for customers and such I find some level of html / banner / something even beyond the subject is needed to help folks filter though all their emails.

In my experience emails with a company banner and large text indicating the reason for the email "your order has shipped" are spotted quickly by their customers / quickly understood / filtered easier.
It sounds a bit like your line between friend and coworker/business relationship is very thin. I'm probably on the other side of the pendulum but I dont consider any work friends or clients to be my actual friends. They are people who I do business with and some are more pleasant than others. Some are even close to actual friends. But I have known since my first job that often these friendships are tied to a job and/or the mutual benefit we both get from each other.

When that job and mutual benefit is gone then we have very little incentive to keep being friends. My family occasionally asks me for tech support and I've talked to a friend once in a while about a website they are setting up but as soon as it feel like we are moving from me helping them with a quick fix into me doing work for them then I tell them they should find someone who can actually do this work for them because I cant.

tldr: business relationships !== friends
I am able to pull files from their repositories. Which part of their site is down?
Hedonic happiness doesn't have to penalize one's future self, either. I can have a good time without alcohol. The distrinction is whether or how much something is enjoyable while it's being done vs in retrospect.
I'd expect a somewhat half capable government to take care of that using 85% EU co-financing like what happens for about all crucial infrastructure in the Baltics.

I only know about the situation in Latvia in detail. There, installing small scale solar really is quite lucrative. You can use the amount of excess electricity produced in summer in winter, paying only the very low standard network infrastructure fee on top. Plus subsidies: up to 4k€ for your solar install, up to 4k€ for buying an electric car, and up to 4k€ for a heat pump install.
Long story short: the next big thing is milking/squeezing the existing customers through services. I guess the next next big thing would be charging customers for existing/free features(i.e pay more for privacy, no more on-device storage etc)
Including, apparently, the people who created the web site, and who use bold text and different font sizes to format the headlines, colors to indicate features which are supported and not supported, and an image of a "plaintext certified" stamp.
When a smart contract is deployed, literally all that happens is that the code is broadcast to the network. It is true that the contract itself has a wallet and runs operations, but it operates autonomously outside the control of the person who deployed the contract.

If a smart contract does something illegal, the person who deployed it has no more responsibility than if someone does something illegal with encryption software downloaded from Github. The only responsible part you could really argue for is the Ethereum node operators, since they're the ones actually carrying out the illegal computation. But is the government really going to outlaw the Ethereum network?
Maybe @dang should just change it so links to jwz.org aren't clickable? It would force us to copy-paste.
Real numbers from 16 income streams – 2021/22 income report
Here's the "about page" for the book these maps are drawn from: https://zeihan.com/end-of-the-world/
I lived in a little apartment with resistive wall heaters and I did just that in the 2018 period. Even had some Raspberry Pis mining Aeon, a lightweight offshoot of Monero.
Feds’ New Cybersecurity Recommendations Target Hardware, OTA Updates for Cars
> Do not ignore inter-personal conflict. It will only fester, it will never get better. Your job is to manage the people, including their relationships.

And this is why I was a bad manager. I'm bad enough at managing my own relationships let alone other peoples.

I wanted the position. I thought it would be a very different experience than it ended up. I had no idea how much of my time was going to be taken up by people complaining about other people's seemingly minor actions. I am not the right person to deal with that.

Most stressful year of my life, I hope to never have to go back to management.
The book focuses on strong US demographics, commodities, food, energy, security and supply. Few countries globally have this.
Globalization meant you could relay on other countries for pieces you are missing. A reduction in globalization creates pressure in countries without “self-sufficient” capabilities.
The major political consideration of zeihan's is that us security overwatch is ending.

The thesis is that the economic-political relationship in the US empire of the late 20th c is reversed: most empires used military power to be economically extractive (inclusive of the US in the early 20th c); during the cold war the US empire flipped: it used economic power in the opposite direction to 'bribe' countries into a political alliance against the USSR (evidenced by how the US has the lowest international trade to GDP ratio in the alliance); note how the us didn't have a mercantilist relationship with any of the countries it invaded (Korea exploits the US, Vietnam, Serbia, even Iraqi oil goes to a French company)

If you believe this thesis then in the coming years, and you believe the US will decouples/is decoupling from internationalism (I have been convinced), then his prognostications seem reasonable. A lot of the arguments (demographics e.g.) are pretty hard to argue against.
Yeah but we wouldn't want to cripple it for everyone because there exist some people who abuse it.