skysight-inc/HackerNews huggingface dataset:
>function Gcd(a:nat, b:nat) : (g:nat,x:int,y:int))

I hope this is a typo. Otherwise it…requires an unmatched close paren?

That's a new level of cursed syntax.

EDIT: Also, is |array| a common way to get the length of an array in languages? I've never seen that (or some of this other syntax) before and it took me a minute to figure out what was happening.
5~6 CELSIUS degrees. Low 40s, Fahrenheit.
The Economist: Propaganda Rag For Imperialism and Calitalism
I think perhaps conservative means something different to you that it does to me.

You can write code conservatively by avoiding higher-level abstractions and preferring boring technologies. If you look at the engineering indulgences discussed within the article, they are all things that you can conservatively avoid without any prior understanding of the problem.

The intuition behind this approach is described within Sandi Metz's "The Wrong Abstraction" talk (https://sandimetz.com/blog/2016/1/20/the-wrong-abstraction).

I also disagree that zero mental stamina should be spent on anyone that isn't between the chair and the keyboard. If you're a software engineer working within a company, the approach should generally be understandable by your team at least.
Meta expects recommendation models ‘orders of magnitude’ bigger than GPT-4. Why?
the nice thing about the parked car trick is it is available right on the watch face. one click
Octopuses have a REM-like sleep state where they appear to dream
I'm in New Brunswick, replying to you over gigabit fibre, working full remote and getting paid in USD, so not really sure what you're on about.

Plus there's Starlink if you want to live way out in the sticks.
I don't know where you can find that "only a few thousand" people or the funding. I don't know if one can even count the number of failed attempts at a mobile operating system.
They aren't firing mods, they are telling the mods they can't come in the store anymore, they are free to look through the window.
Ah but “hail zone” isn’t quite the same order of magnitude problem as “flood zone” for the places that can’t get flood insurance. Those are starting to look uninhabitable due to encroaching sea waters. Hail’s just freak weather.
My experience with telematics-enabled driving is quite positive. I'm saving 30% easily, simply by driving relaxed.

I don't think I'm giving away much personal data: The insurance set up a separate legal entity that performs the ranking, with a easy-to-read EULA that rules out selling data.

My insurance is using the Cambridge Mobile Telematics modules.
I imagine bullet proof glass is too expensive?
I have a very bad opinion about this, why there were no quantum leaps in programming: in practical world there is just no time to think out of the box. its an endless crunch and race to ship, so something brand new and „risky“ can only be born out of strong vision and necessity.
On the other hand if we take PL research - it is too far detached from practical reality. Have you ever tried grokking type proofs? It is driven by a separate breed of mathematicians that cosplay as programmers and they build their „perfect and sound“ (and useless) world. Do you know how many tons of (garbage) papers were in the era when AOP was the rage? What are the practical results? And where are they? Or take Haskell as an emple, where nobody can clearly explain to a java codemonkey what a goddamn monad is? Or endless continuations and effects research and formalisms by Felleisen and Kiselyov only for all of it be kinda rediscovered and slapped on by react devs? Useless, all of it.
Pretty impressive. I've never very much liked how TKinter looks out of the box and i didn't know it's capable custom UI visuals as in the examples. If tkinter looked like the OS native UI it would be optimal, but in my experience it mostly doesn't. Will be following this project for my future GUI needs in Python. Nice work!
Android's continued decline in the USA won't be fixed by these "me too" developments (that are often of worse quality that Apple's offerings). There seems to be no leadership at Android at all.
One of the funnier versions of this that I ran into was on Instacart’s change password form.

Years ago, they allowed very weak passwords. Eventually they implemented a complexity policy that required longer passwords, symbols etc. They applied client side validation of the complexity rules on their password change form, but they also applied the rules to the existing password. I ended up having to use burp suite to change the request inflight so as to set the correct current password.
I'm a believer too (in dependent types). Software already bears an ungodly amount of responsibility, and with AI it will only become more so. Correctness is critical. While tests are good, it's impossible yo cover every case. Compiler-verifiable properties are better.
> attacks never progress to get weaker

This implies constant progress. We all use 20+ year old crypto like SHA2 without any real fears of it being broken in our lifetimes.
Hope people are not going to mention that this is a blockchain company. No matter how I don't like it; this work, research and others (like Wadler) is great and very interesting advancements in the software verification space. You can ignore the blockchain side of things.
I think it's fake and still brilliant.

Plenty of people want to believe (ha ha, there's that phrase) that there is something magical and hidden in the world — some mysteries still abound — that there might still be large humanoids wandering our forests, or extra terrestrial visitors exploring our farms.

I'll never fault anyone for indulging in a little bit of that rather harmless conspiratorial thinking.
You’re wrong - my parents both work in this industry. People are paying less for content total
Is there a way to get this without having to enter personal details into a form?
Hey, you're doing great. Remember that you can't make everyone happy, and others will try to take you down. Mistakes happen to everyone.

Just thought I'd give you a bit a positivity :)

Sincerely a fellow person
Took a break from PoE for about 2 years to focus more on work. I ask my coworker how things are looking at the moment. I don't remember to what extent things had changed (I expected plenty of new content and some balance changes) but even the main player currency had changed since then. I think my overall knowledge should still apply, but I do feel discouraged trying to learn anything when in a few months it might be useless again.

I still keep D2 with some QoL mods on a USB stick I carry with me, so I can always fall back to it and be right at home :)
See also Tom7's "Harder Drive" video. The whole thing is great, but the part relevant to the parent comment starts at 2:31.

https://www.youtube.com/watch?v=JcJSW7Rprio
This seems like a weird argument to make. We either pay collectively more for taxes for the roads we use, or collectively we pay WAY more for food, materials, and basically everything else if we tax trucks proportionally. Large trucks are carrying stuff, and the cost of that stuff is going to be directly associated with the cost of logistics.

Yes, some states haven't figured out what that looks like, but I really don't think the right answer is to dump all that cost on truckers. I would rather pay more for my car's operational tax, increased EV tax or existing gas tax on ICE, than disproportionately affect the price of groceries for someone living paycheck to paycheck.
So far same as anyone state side. Either through past relationships or job postings.

With this last company I’ve been meeting in person about once a quarter. Which has been nice.
For sideprojects, definitely, there is simply not enough time otherwise.
Logical model of OLAP multidimensional database
I recommend the Huggingface courses: https://huggingface.co/course

The courses are geared toward writing Python applications around these models. They're fairly hands on, so it would still be a good thing to complement them by reading papers or watching videos on fundamental principles of AI and ML.
Water is dense and gravity is proportional to mass, I wonder if there's any chance that water itself is also a contributor to the perceived gravity at that region.
Insurance fraud is a crime.

Not only that, but insurance companies don't cover claims when the policy was obtained by fraud.
Another way that a global cdn helps is that your HTTPS negotiation takes place closer by.

There are (in http 1.1 at least) many back and forth steps to negotiating the HTTPS connection, the encryption key, etc. A global cdn into a cloud service (CloudFront is the example I know best) lets the user do those back and forths with a server very close to them, then handle the long haul to where the request is handled in one round trip.

Eg: putting CloudFront in front of your API calls can make them faster! Great video by slack on the topic: https://m.youtube.com/watch?v=oVaTiRl9-v0
Same here, not China.
Show HN: Castup AI – A free ChatGPT-powered podcast assistant
Unfortunately, no one buys subscriptions any more, and advertisers have moved to Facebook and Google.

The ad-based internet has conditioned people to expect free content, and the internet ad model incentivizes click-bait low quality content because it's easy to publish and provides a place to hang ads from.
Everyone can explain to everyone what a monad is for and how to use it. The fundamentals in category theory, you really don't need. But because it got such a bad name, everyone is afraid and believes it must be much harder than they think.

Dependent types and other proofs are not that hard to understand in principle; you can be working on them for a very long and that indeed makes it mostly impractical. However, we will see some interesting things in search space limiting between program synthesis, verification and LLMs.

I tend to prove only the parts that are vital and the things that come automatic (when the holes are automatically filled because they are already 'done').
The Data Protection Commission sucks eggs and makes its decisions based on a Ouija board and comparing the weight of the stack of brown envelopes received from each of the relevant parties.

This kind of nonsense is unconstitutional and reactionary. If the Irish government is serious about retaining its role as the gatekeeper in the transatlantic fibre then they'll have change course soon and increase the dismal credibility of the DPC.
Also how big will the exe be. Last time I looked the whole interpreter is packed together with the source.
Also I‘m not sure if you can obguscate the code, if you do not want to publish it.
I had it running as a DIY TiVo. But since I canceled cable it's mostly an unused interface for a copy of infocon.org on my NAS and rips of a few dozen DVDs I own.

I probably gave them more money with the lifetime deal than if I paid monthly for the period I used it heavily.
" a GPS receiver on a ship may, during the course of a long voyage, indicate height variations, even though the ship will always be at sea level (neglecting the effects of tides). That is because GPS satellites, orbiting about the center of gravity of the Earth, can measure heights only relative to a geocentric reference ellipsoid. To obtain one's orthometric height, a raw GPS reading must be corrected. Conversely, height determined by spirit leveling from a tide gauge, as in traditional land surveying, is closer to orthometric height. Modern GPS receivers have a grid implemented in their software by which they obtain, from the current position, the height of the geoid (e.g. the EGM-96 geoid) over the World Geodetic System (WGS) ellipsoid. They are then able to correct the height above the WGS ellipsoid to the height above the EGM96 geoid. When height is not zero on a ship, the discrepancy is due to other factors such as ocean tides, atmospheric pressure (meteorological effects), local sea surface topography and measurement uncertainties."
"likelihood" is only if you are more likely to be a perpetrator than a victim.

Your insurance company pays more if you are at fault, so they'd prefer to prove you innocent.
So basically, you get 5GB of free VPN but it is really not private at all.
It's ok we'll just feed your speeds, GPS locations, braking data, and acceleration data into a black box AI model and have it spit out a bill multiplier.

All hail AI.
I read that headline as precisely the opposite: oh, bugger, they are not doing well and that money won’t help
I agree with you. The amount doesn't matter.

Investment = you are not personally liable and no need to return the money if u fail. It's not ur money.

Bootstrap = you are responsible to pay it back.iys ur money once u get it.
This (a hash table) is a basic vocabulary type, and it's only barely understandable that C doesn't provide one given when it was invented. The hash table which people are likely to knock together this way in C isn't very good, which makes sense - but if the C library provided one then the effort to do it well only needs to happen once.

This isn't like say, Bloom filters where most people don't need one. It's like sort, which I notice C does provide in its standard library.
Probably, it will be fast enough. The new compiler is based in mzscheme.
Yeah

And let me tell you about the 'super strong password' your generators create: they suck

They suck if you have to deal with any kind of escaping (like in a shell script, for example)

They suck if you're unsure of the current keyboard layout you're currently using

Easier to take out some character classes instead of having to solve support tickets
It's in relation to a theoretical ellipsoid shape.

"The geoid can be as low as 106 meters (350 feet) below the ellipsoid or as high as 85 meters (280 feet) above."[1]

[1] https://www2.csr.utexas.edu/grace/gravity/gravity_definition...
That's not going to work with my bank, maybe GitHub?

I googled and found this from HN https://news.ycombinator.com/item?id=35083499#35086708

I'll give it a try. It doesn't change that 2FA is a pain and I'll log into GitHub only if strictly necessary. Maybe reduced logins are part of their security plan.
Ah. Import trash. It feels like this is a more recent trend - with the import floodgates fully open we are seeing the reappearance of low tech machines that were abandoned but remain popular in developing nations.
Mysteries still abound, that's what science is.
The double counting of bike activity as steps drove me crazy when I had one. Made me switch to a garmin.
RTX 6000 Ada alone is $7000. Don’t see how you’re “completely blowing the Mac Pro out of the water” at that price point.
Ice Ice Baby: Coppin' RAM with DIY Cryo-Mechanical Robot
It's part of the recurring pattern of blindness towards the actual level of caring among average service users. Reddit is another example of this pattern. Mind you I say this as the minority who cares.
Facebook Oversight Board Says Remove Video of Cambodian PM Threatening Opponents
Niceness is subjective, but Nim is just as valid an addition to that group. Nim compiles to C and has had an --os=standalone mode for like 10 years from its git history, and as mentioned else-thread (https://news.ycombinator.com/item?id=36506087) can be used for Linux kernel modules. Multiple people have written "stub OSes" in it (https://github.com/dom96/nimkernel & further along https://github.com/khaledh/axiom).

While it can use clang as a backend, Nim does not rely upon LLVM support like Zig or Rust (pre-gcc-rust working). Use on embedded devices is fairly popular: https://forum.nim-lang.org/search?q=embedded (or web search).

Latency-wise, for a time, video game programming was a perceived "adoption niche" or maybe "hook" for Nim and games often have stringent frame rendering deadlines. If you are interested in video games, you might appreciate https://github.com/shish/rosettaboy which covers all but Ada in your list with Nim being fastest (on one CPU/version/compiler/etc). Note, however, that cross-PL comparisons are often done by those with much "porting energy" but limited familiarity with any but a few of the PLs. A better way to view it is that "Nim responds well to optimization effort" (like C/Ada/C++/Rust/Zig).
What does an endocrinologist have to do with a hairline fracture? Also, 4 months to see a specialist in the USA isn’t really uncommon if your case isn’t urgent.
Very cool! I enjoy digging into dependent typing applications.
Body language may shape who you are – Amy Cuddy
|array| looks like it’s taken from the notation for cardinality of a set (number of elements in a set)
I don’t know how to put this but you are just absolutely wrong about the economics of this and beyond that you are confidently wrong even when presented with basic numbers.

Producing what National Geographic magazine does is not cheap and they have historically had much higher revenue. Nevermind that they are still continuing, just without staff writers.
For me GPS is a must-have. I want the tracking of my walks/rides.

Looking at the Garmin specs, the two-week battery life is sans-GPS. With GPS enabled the battery life is the same as the Apple Watch.
> At first I read it as $670 million

Same here!

I think this is because our eyes-brain system is optimizing the read operation by scanning the words and maps them against a list of words we already familiar with, thus, sometimes it got the wrong meaning. This trick was used by some brands to mislead people to buy some products with a familiar brand name.. like “Adibas” and “Reedok”.

> makes me hopeful that Kagi will stay close to its original mission

I really hope so but no one can guarantee this would be the case if the company get bigger with more money being thrown there.

In its first years, Google’s tagline was “don’t be evil“ but they couldn’t deliver the promise.

OpenAI’s original mission evaporated as soon as ChatGPT became a thing.. https://news.ycombinator.com/item?id=34979981
I've done this a number of times, it seems to work quite well, and I don't think of it as malicious.

A "softer" way of handling this is to assign the prototyping / PoC development to a different team. The tribality / process worship / power dynamics between teams virtually guarantee that no code will be reused between the PoC and prod.
Yes, Kagi has Safari + Chrome + FF extensions on Mac + iOS Safari extension that sets Kagi as default search.
I don't think so, but democracy is actually pretty new. It wasn't until the 60s in America where one could confidently argue that every man and woman could vote without major impediment. In 1920 women are guaranteed the right to vote by the Nineteenth Amendment. There was also a lot of war happening.

So could previous generations have done the same? Their generation just wasn't large enough. Then along came this crazy baby boom and suddenly there was this all-powerful voting bloc which has shaped the world.
It has been awhile (about 10 years or so), but I can recall at least two widely used enterprise access management systems that had trouble with some special characters. Access management is hard. Even those able to pour boatloads of cash into it don't necessarily get great results. On the other hand, there's nothing hard about providing users with a clear statement of your system's limitations. What ever happened to UAT?
D4 is great but Diablo 2 Resurrected is maybe an even more impressive technical achievement. Vicarious Visions (which has now been absorbed into Blizzard) reskinned the entire D2 game and it looks incredible. Probably the most technically advanced sprite based game? The best part is when you hit the G key it fades out and reveals the original Diablo 2 running underneath, synced in every way, to the new presentation layer. It is so cool!

Plus it has awesome usability features. Play with a mouse on your PC and the UI is authentic to the original. Plug in a gamepad and the whole UI transforms into a modern gamepad friendly UI… IN PLACE! No restart. You can bounce back and forth between mouse and gamepad. It is wild.

A great achievement overall
See also https://github.com/rdbende/Sun-Valley-ttk-theme (couple more themes are linked at the end of readme)
To be fair, these scroundrels are needed. How else the world hegemony can be taken over by the Chinese, Indian and Russian? If VOC was well managed, you and I probably speaking Dutch right now. I am off to Russian class now. Bye.
> Special characters are usually allowed only from a predefined list. I don't see how this is specifically bad or deserves a blog post.

Why limit it in such a way? if the backend is so fragile it can't handle a + sign then it is bad
> You can ignore the blockchain side of things.

You can, but you don't have to...
ICE vehicles do pay taxes by weight. Larger vehicles use more fuel and pay more taxes.
Debugging a happy path can quickly become a very unhappy exercise if there are no typechecks. Sure types can slow down things now and then, but if it catches just a few bugs it may already be worth it.
A while ago I wrote an AWS lambda runtime to use Racket. I saw terrible Startup performance at around 500ms for a simple echo program.
I don't know about programming languages, but in mathematics |v| is the notation to get the length of a vector... So maybe Matlab uses that syntax?
Is that a hardware limitation, or just the lack of willingness to provide software support? I can't really imagine the former.
Also looking forward to Stable Diffusion's new SDXL model in "mid-July": https://stability.ai/blog/sdxl-09-stable-diffusion

I hope both of these deliver on their promises. They're exciting developments.
Racket executables are not to be compared with those of a compiled language that aims for speed. The primary goal is not speed here and the documentation explicitly says so. You should see them as interpreted code that is bundled with its interpreter for easier distribution and execution, without anything else to install for end users.

You can write a Racket application even with a GUI and whatever lib you need and then cross build it as a native executable (that is, an executable that embeds the interpreter, the necessary libs, and your application's code) for yours and other platform for easy distributions.

See https://docs.racket-lang.org/raco-cross/index.html and https://docs.racket-lang.org/raco/exe.html for more information.
But the structure in the brain is not called an amygdalon. It's called an amygdala.

According to Merrimack-Webster, the plural is amygdalae, but we also knew what the author meant with amygdalas.

https://www.merriam-webster.com/dictionary/amygdala
>Of course people will argue against this as the government would have full control over people’s money. But I think that’s the case anyway.

To an extent, but (speaking for the US primarily) there is significant added friction from the current distributed nature of the legacy banking system. If it were as easy as typing a person's ID number into a form and the system would take care of the rest, it would certainly be used more freely (freezing the accounts of thousands of people attending a protest with today's system would be a monumental task, even with full judicial endorsement).
I write bash python and nodejs all day, and have no professional history with Perl.

One day while avoiding working on something important, I spent half a day learning Perl in order to implement something related to a build tool that was being used in the important thing I was avoiding.

I was blown away. It's a really delightful language. Its big downfall is that it makes it feel good to do something "clever."

Perl is a joy to write, and a devil to read. I liked it, and wish I had started my career earlier so I could have enjoyed Perl in its heyday.

I have similar feelings about Ruby.
Thanks, i'll look into it as a secondary backup.