skysight-inc/HackerNews huggingface dataset:
> and that it will be compatible with whatever Google decides to add to theirs

There are plenty of respectable people who maintain "home pages" with much simpler HTML than what is possible, and news.ycombinator.com gets a lot of love for keeping its classic look.

All this to say, I'd like if the people who have a lot of overlapping agreement on this would agree on a subset to use, and I'd be happy with a browser that didn't do everything google's did.

I run with uMatrix which shuts off a lot of google functionality, and I never whitelist google.com domains just to prove that I don't have to, the world doesn't end. It's a relatively small number of sites that just won't work.
> it's hard to read something like this: […] and just take it for granted. Really? The thing that software should have is soul, and that means it should feel like the world around it(?) and that's a clue(??) that feeling is missing?

I agree it’s not the best writing, but it’s still clear to me what they mean. The restaurant is an example of a thing in the real world that is valuable because it has a “soul” and evokes certain feelings. If software generally lacks soul, but other things are valuable to us partly because they are soulful, that is a clue that software might be more valuable if it were more soulful too.
Applied research can also predate fundamental research. They both feed back into each other.
> But memory safety is a subset of type safety. Whether dynamic or static (though I’m much in the latter camp), memory safety is achieved through information associated with the types.

Nah. Dynamic languages don't actually have types (even if they have something that they call types), and even typed-but-GCed languages often don't really use the types for memory safety.
As you mentioned they don't track (for now).

I mean anyone can write anything into a privacy policy and who will enforce they are sticking to them really?
Usually we only see what actually happens in the background when there is a breach.

For financial systems we have regular audits so rules like PCI DSS are enforced, but do we have these for search systems?
> "That means that if you live long enough, you will get ALS."

We don't simply don't know that. There is an incredibly wide spectrum of phenotypes, even for SOD1 mutations (~2 of cases) the life span could be as short as 6 months and as large as 25 years.

There are ~120 gene mutations that are incriminated in what scientists call ALS. Each of them has dozens alleles on average.

In addition there are associations between ALS and dozens of occupations, and exposure to thousands of substances. The scientists tell of multi-step diseases.

You are only right in the sense that we will all die at the end.
HTTP Basic Authentication and your URL hierarchy
So what is the language that has the same word/phrase for MothersSiblingsDaughter and FathersSistersDaughter (but presumably not FathersBrothersDaughter)?
The best gyms aren’t pay per session in my experience - and I’ve been to a lot of gyms around the world.

Sure, most gyms let you buy a day pass but compared to the monthly membership it’s very expensive.

My current gym is £40 a month which gives you access to every gym in the country as well) or £10 for a day pass just for that single gym for that single day.

The fanciest gym I’ve ever been to was the equivalent of £30 for a day pass and like £300 for a monthly membership.

Also you example of gyms being special isn’t specific to gyms, that’s also how insurance works, spread the cost out over a lot of people and everyone pays less.

I agree Unlimited PTO is a con though, just give everyone an allocation and let them choose how much they use (most will use the maximum)
Parsing HTML Documents with Beautiful Soup
It means that the type system can prove certain properties for you. For example, in languages with dependent type systems like Agda, you can construct a sorted list type that the compiler will prove it sorted at all times, otherwise it won’t compile. Or a complex tree type that is always balanced. Or a set of only even numbers, and again it won’t compile otherwise…

(Sadly, if you go that far, it isn’t generally Turing complete anymore. Though in some cases that’s a good thing.)
> I bet you would say something different if your country was fighting a civil war with secessionist insurgents in parts of your country.

Maybe not a civil war, but some of the Quebec separatist ideology got up to some shit in Canada:

https://en.m.wikipedia.org/wiki/Front_de_lib%C3%A9ration_du_...

> Even more so if the secession in question had been settled 30 years ago.

Canada still has successful federal and provincial political parties campaigning on exactly that!

https://en.m.wikipedia.org/wiki/Bloc_Qu%C3%A9b%C3%A9cois

https://en.m.wikipedia.org/wiki/Parti_Qu%C3%A9b%C3%A9cois

https://en.m.wikipedia.org/wiki/1995_Quebec_referendum
> NASA's Webb

I guess it may be technically owned and primarily operated by NASA, but it was developed from the start as an international project: https://en.wikipedia.org/wiki/James_Webb_Space_Telescope#Par...
It was a similar experience for me when I tried to learn proving with Isabelle/HOL without an expert help. I gave up and switched to Isabelle/ZF and that was easy, my standard mathematics background was sufficient. I use a subset of the Isar language that is needed for my formalized mathematics hobby (shameless plug: isarmathlib.org). Of course if your goal is software verification, then Isabelle/HOL is the way to go. Btw, Isabelle is not "the HOL based theorem prover", Isabelle/HOL is just its most popular logic.
Sorry I learned mostly on the job so no strong recommendations for learning but installing Rancher is great for playing with docker and kubernetes on you local machine in a fairly easy way. Open-lens offers a nice UI to connect to the cluster once set up.

I did this course https://training.linuxfoundation.org/training/introduction-t... which was dry but OK. But it is the only course I did so can’t say if there is better or worse out there. It does the job.
Might buy access for the universal summarizer alone.
I'd rather advice people to reinvent a new html js format.

Preferably serialized to binary so it can fast and save battery on mobile.

Html was not designed for applications, it carries a lot of debt, and it's an ambiguous language, which makes it very expensive to parse for browsers.
I guess that could be true. Certainly in the UK if someone asked you the date, you'd probably contract that to just saying "the 21st".

If the the month was unclear you might reply with "21st of what?" but you'd never expect an answer of just "September" to the question "What's the date?".

My assumption was it's due to an attempt to make the written date format closer to the HH:MM, and they just forgot about the years, with the spoken "Month, DayOfMonth" coming later.

Do people in the US generally say "the 4th of July" or "July, 4th" more? That might hint at an origin.
That's because India is not 1 person, if you haven't noticed.

Even if this murder thing is true, it could have been some rogue agent in the government. In that case the evidence would flush them out. India does have a lot to lose, reputationally, in this case. But not enough to lose that they would simply accept whatever Canada says.

From the Indian point of view Canada has also brushed off situations where India approached them with evidence against Canadian citizens. So if Canada now approaches with demands of their own, dismissing these is perfectly alright without precise evidence.

India has no obligation to preserve whatever sources some 5 eye(I) country has within their government, and just cooperate with Canada no questions asked.
Back then almost everyone was a peasant so you wouldn't get any information about their interests, social status, etc. from just their career like you (somewhat) do now.
FastAI’s course seems good so far
Fun fact: Walmart started selling them for the reduced price several days before the official price drop and end of the Ambassador Program's claim period.

Thanks to a post about it on reddit, I was able to get the reduced price and the free games. Felt like I had cheated the system even though I barely ended up playing the free games.
This tool also connects via OpenAI's API. If you are comfortable with that, I'm waiting for local model support.
I encourage you! Keep at it!

I have implemented a very small part of the ORC Solver algorithm in Python and used wxWidgets for rendering. I used wxWidgets text extents API to work out width of text.

This is the ORC Solver whitepaper.
https://yuejiang-nj.github.io/Publications/2020CHI_ORCSolver...

I have been thinking about branch and bound and how to implement it. Any information would be appreciated.

I think I should study the TeX codebase for typesetting algorithms. I also really enjoyed using javascript library Masonry for layout binpacking.
I have tutored students who struggled severely with numbers; the most success in this task I've had with "pick a number from the list 11, 12, ..., 23".
The most important to learn is to vigilant about passing and automatic thoughts.

When you're conscious about them, it helps a lot.
Writing a browser means writing a rendering and layout engine. That's a pretty tall order, not that you can't do it.

But there's so much you could do that would be more likely to be fruitful. Port Servo to Nyxt Browser. Fork WebKit or servo or gecko and pull out the invasive web standards that have been injected by the ad company over the last decade that hurt users. It's all work you're going to have to do anyway building from scratch, might as well not start at the bottom and start with an existing community of people already willing to work on it with you.
I had HP Smart Tank for about two years until it broke (the mechanical part that was feeding pages).
It still had most of the ink unused.
And while you don't need to change ink, it was printing at a very very slow pace.
I was joking that the reason the ink can last for a life is since you will die before it will finish printing.

Also, it's very sensitive to an accurate horizontal positioning.

I replaced it with a black-and-white Xerox laser printer which costs more or less the same, but prints very fast, and has other functions like scanning from the feeder, copy, fax, etc. After 6 months still had no need to charge a printing head, which is only 2x-3x more expensive than HP InkJet ones.
They just need a thick camera like the iPhone 15 Pro but then just create a hole for it by the track pad.
True. Nothing wrong with generalizing though. If I told you that jumping off a cliff would result in you dying when really you only had a 99% chance of dying I would also still be generalizing over that 1% chance of survival.

I would say for HN you're in the minority.
It's unclear whether you're claiming 1. the vanilla ice cream is sometimes kept in a separate chiller must nearer the entrance and this obviously made-up story is perfectly true, 2. at least some stores exist where the vanilla ice cream (and only the vanilla) is kept in a separate chiller must nearer the entrance, or 3. the vanilla being kept by itself in a separate chiller has elements of plausibility, and can not be dismissed out of hand, even though it's possible that this specific set-up has never existed in any actual store in real life, ever. Which is it?
If you are present and highly aware you never need to suppress anything ever again.
One needs to meditate.
Learn to meditate.
Stop relying in science for answers
I mean sure, but so are all the other theories of consciousness. Nobody has any way to test anything about internal experience.
> Imagine the impact of a political scandal like the Profumo Affair

I can imagine it. It would be declared to be the personal failing of the persons concerned and the political ship would sail on without so much as a shudder.
No Code with Superflow
Hey there,

I've got something important to share, and it's not just tech jargon. It's about your future in app development, and it's personal.

You know, the way we build apps is changing rapidly. The old custom development approach, where everything is coded from scratch, is becoming a thing of the past. Why? Because there's something new in town: the no-code movement.

Now, you might think, "I'm not a developer; this doesn't concern me." But that's where you'd be wrong. No-code isn't just for tech wizards; it's for everyone. It's a game-changer that puts the power of app creation in your hands, regardless of your coding skills.

Think about it. No more waiting for developers to bring your ideas to life. With no-code, you can do it yourself, quickly and efficiently. It's like having a superpower in this fast-paced tech world.

And it's not just me saying this; experts at Gartner predict that 65% of app development will be low code by 2025. That's how big this shift is. You don't want to be left in the dust, stuck in old ways, do you?

Sure, there are some trade-offs with no-code. It might not be as customizable as traditional coding, and integrating with legacy systems can be a bit tricky. But here's the thing: the benefits far outweigh the drawbacks.

So, here's your personal call to action: Embrace the no-code movement. Take a closer look at the top no-code and low-code platforms. Try them out, learn them, and use them to your advantage.

In these times, when speed and innovation matter more than ever, no-code is your ticket to staying ahead of the game. It's about securing your future in the world of app development, on your terms.

The choice is yours: Ride the wave of change or watch from the shore as others move ahead. Your future in app development starts with exploring no-code. Give it a shot, and you won't regret it.

I hope this inspires some of you, especially those in eCommerce app development, to challenge the status quo. In an ever-changing world, one thing is certain: change itself!
They have value types. The expressions don’t have types (or rather very general types), but the values do, and it’s still possible to have a dynamic language with very rigorous value types that have a well-defined set of inhabitants.

Any dynamic language that has a string type has something similar to (for example) a buffer and a length associated with it internally. You can formalize that from the compiler’s perspective, even if you don’t expose it to the outside.

You could argue that the language doesn’t necessarily have memory safety associated with its types, because a compliant compiler or interpreter could represent strings in any way it chooses, and on some academic level there’s merit to that, but in practice you’d be rather stupid to implement the string value type in an interpreter or compiler for a language with a common string type in a memory unsafe way.
So if you deliver an empty canvas to a museum, and a court orders you to return your commission[1], I suppose it wasn't art.

[1] https://www.msn.com/en-in/money/topstories/danish-artist-tur...
Kagi recently added support for paying with crypto. Create an account with single-use email address, pay with unKYCed crypto and search only while on VPN, if you really need to search anonymously.
Talking about addition, subtraction, multiplication and division as fundamental operations is just to capture the imagination of the layman. Modern mathematics talks more abstractly.

A mathematician would probably talk about addition, multiplication and inverse being fundamental operations.

You can't, in general, emulate multiple with addition (nor with subtraction).

Yes, for integers you can view multiplication as repeated addition. But that's not true for general structures. Have a look at eg https://en.wikipedia.org/wiki/Tropical_semiring for some inspiration. You can apply tropical semirings to shortest path problems in graphs: https://cs.nyu.edu/~mohri/pub/jalc.pdf
Somehow relevant piece of art, .gif animation, from Portuguese artist André Carrilho. Title:

Bad memories

https://cdn.myportfolio.com/453a92f80b154a9480bc9e2ebcb57c99...
My top three favorites are:

pasteapp.io: Cross-platform, copy stack

raycast.com: Powerful features, many plugins

cleanclip.cc: Popup follows input cursor. It feels like a macOS system popup.
For the same reason the UN telling every country they need a global ID for every citizen is a thorny topic. In the United States, the states are provided with fairly strong protections under the 10th amendment. This is the principle of federalism.
Exactly my thoughts. The OP just seemed like they want an iPhone because they like it, not because of the excuses they posted. They are all solvable by simply picking a phone from another brand (except maybe for the messaging thing, I didn't quite understand that one).
Although this is well known among more educated English speakers, an interesting bit that's not well known is that French as a literary language arose in England. At the time Normans conquered England, Latin was still the literary language in France. It was the French speakers of England who first started producing literature in their vernacular.
There are associations between ALS and dozens of occupations, and exposure to thousands of substances.

There is a difference between the prodomal (causative) event and the consequence: The disease. ALS and probably many other neurodegenerative disease could be caused by many events. The scientists tell of multi-step diseases.
That's what I did with WebKit [1] because it turns out servo is not as modular as it was before. And Gecko is the definition of monolith, so removing the attack surfaces is impossible, even TOR has a crappy replace-with-stubs approach that breaks with every internal API or bridge change.

Need contributors and other maintainers though, because keeping up with upstream is impossible as a single dev.

I tried to document the attack surfaces [2] from my cyber security perspective as good as possible, with tasks left to do and which need to be eventually removed. It's probably pretty opinionated because I want to use RetroKit as the webview for my own Browser Stealth which acts as a filtering proxy, scraper and decentralized cache [3]

[1] https://github.com/tholian-network/retrokit

[2] https://github.com/tholian-network/retrokit/blob/main/SECURI...

[3] https://github.com/tholian-network/stealth (ongoing rewrite in golang)
> If you need stability and long term support as a customer, you have companies like RedHat or SUSE whose entire point is providing 10+ years maintenance on these components.

Is that even feasible for projects like the Android kernel that distributes their fork to vendors when RedHat forbid redistribution of their source code?
There's a joke about the latest wave of "AI" companies in here somewhere...
> To an extent, this is true, but take it too far and you begin dismissing education and well grounded logic and believing it to be equivalent to ignorant and irrational thought. Logical thinking and analysis is a skill you learn and get better at after all.

True. But the problem here is that this "skill" you think you have. It might be just a lie you tell yourself. You wouldn't know. That's the nature of lying to ourselves. Humans are all highly irrational creatures. Yet individually when we think of ourselves.... all of us unequivocally think of ourselves and most of our actions as rational.

This includes you.
Indeed, the greatest triumph of ChatGPT is to reduce the need to discuss with co-workers! :D
I have 1 key recommendation: if you're writing shell scripts, use shellcheck. It can detect many problems and hrlp you write better scripts.
It seems to me the author seems unhappy with the lack of control of how external content affects their well-being and by creating their own software hopes to influence this. With that in mind, they’re unlikely to influence a massive established project.
> I wanted to do MLIR originally but the Python bindings are a little unstable right now.

Hmmm why do you think so? There's been one (small) breaking change in the last 6 months (and it came with a simple upgrade recommendation).

(If it's not obvious, I contributedl to the python bindings but I would prefer to remain anon).
Sure but EV's require significantly less maintenance than ICE vehicles, if a 10k battery gets you a car which runs like new for 10 more years (or more depending on future tech) and you like your car why wouldn't you?

It's a bit like the fact that there is a ton of Iphone8's available, pop a new battery in them and you're still good to go: https://www.gumtree.com.au/s-iphone/iphone+8/k0c18597r10?cat...
I think that was just another example, since key depth obviously has nothing to do with camera image sensor resolution.
What Phi (the golden ratio) Sounds Like (89 Hz, 144 Hz, 233 Hz, 377 Hz) [video]
> get gunned down in a country with some of the most restrictive gun control laws

Given Canada’s neighbours, those laws don’t accomplish much if you don’t want to follow them.

And hunting/recreational shooting are very much a thing.
Can you measure a wifi signal between two phones? https://www.makeuseof.com/wifinanscan-measure-distance-phone...

Or if you can limit it to newer iphones, I think their special UWB antenna lets them accurately sense direction and distance to an Airtag. Some newer Androids have this too but the ecosystem is immature compared to Apple's.

Edit: I think the pet industry also makes radio frequency pet trackers that don't operate off GPS or cell, just a tracking collar and a handset that tells you range and direction. Maybe they can wear one of those along with your app? It's probably easier / more accurate with the right hardware than trying to shoehorn it into an average phone...
Not the person you are replying to, but... National ID cards tend to feel icky to people who live in countries that don't have them. People who already have them don't even seem to notice.

I think added to that is that Americans have a historical tendency not to trust any kind of federal govt oversight/information collection
Can relate. Dealing with "ReDOS" (regex DOS) CVEs used solely to win bounties from certain sites, paired with overly hostile and secretive "researchers", has turned me off from the whole CVE system entirely.
But the option with display out cost more than 1000 usd
> I always joke that when Android can handle a screen rotation without blanking the screen, I'll switch back

None of the Android phones I've used blank the screen, there's a smooth animation.
> People don't understand that their 144 Hz monitor running a 3D game still doesn't convey that smoothness that my vintage arcade cab does when running an old 2D game with pixel-perfect scrolling while never skipping a frame.

There are great examples even outside of the gaming world. I wish there were videos around on how fluid were Scala Multimedia presentations on a bare Amiga 500 in the 90s. An 8MHz clocked machine (7.16 MHz here in the EU for PAL synchronization) that in that field would outperform gear costing at least an order of magnitude more. It was hugely successful back in the day in many local TV stations.
https://en.m.wikipedia.org/wiki/Cogito,_ergo_sum

You know you are conscious because if you weren't, there wouldn't be a "you" to think about consciousness.
https://xkcd.com/406/