skysight-inc/HackerNews huggingface dataset:
You can use weak typing and dynamic programming to accomplish some impressive feats, just like you can write bug-free C code without undefined behaviour. It's difficult, especially when the code base grows over a couple of years, but it can be done.

That said, some people see TypeScript as "Javascript, but with types in the definitions", but it's more than that. Sure, the core of it is that you're adding types to your code, but with things like KeyOf<>, Partial<>, Pick<> and other such utilities the TypeScript system is a lot more powerful than that of many statically typed languages.

Typing dynamic JS with TS can be tough because complex dynamic typing requires a lot of assumptions that often are half-truths from a programming language point of view. "When x.foo is a Number then x.bar.baz is a String with at most two characters" can be expressed in Typescript but it's very verbose and requires some digging through the Typescript docs to get right.

Describing types does add more lines of code, but that's not necessarily a bad thing. What you're doing is taking the implicit assumptions based on your dynamically typed program and expressing them in a way that can be verified. Assuming you don't invent completely new types in every single function, the initial typing workload is high but it becomes a lot easier over time, especially if you use your Partial/Pick/keyofs well.

What I found to be helpful is that the ?. operator has been added to Javascript quite some time ago (legacy JS doesn't normally use it) which means you can define properties that don't exist in the beginning but are set down the line to be of type `foo: string | undefined` rather than invent implementations of interfaces for every modification step of the program, using it through `bar.foo?.baz` rather than `bar.foo.baz`, and maintain the exact same assertions your program had before.

Alternatively, using `!` when you're absolutely 100% sure some parameter has been filled in (`bar.foo!.baz!`) can help convince the transpiler of assumptions that can't easily be expressed in code.
2023 Year of the greedy CEO
It seems he very, very much wants to be remembered. I think his interest in colonizing Mars has less to do with "being an interplanetary species" and more to do with being able to name Mars after himself.

Similarly, he wanted to run Twitter since that would let him singlehandedly control what literally everybody is talking about. He quickly discovered that he can't actually do that without killing it, so he's turning it over to somebody else.

He doesn't want to be Bill Gates, who really is doing something closer to what you suggest. He wants to be Christopher Columbus crossed with Julius Caesar.

That's why he grinds. He wants to be the most important person in the world -- and to remain so for centuries after he's dead. I suppose that's understandable, even though I find it repugnant.
Interesting. Is there a rationale for excluding it?
In my using this over the last couple days (I work with xdss and he asked me to look over the code a couple days ago) gitease works best if you find calling 'git add/commit/push' repeatedly to break your flow with git.

The main benefit is you just call 'ge save' and the tool takes care of calling 'git add/commit (uses LLM for summarizing the diff)'. If you call 'ge share' then also pushes the changes to remote.

Using gitease doesn't limit your usage of git in any way, I think of it as a utility to make it a little easier when first starting out on a project - when you just want to commit and keep going - without thinking too deeply about exactly what changed.

Hope this helps!
I hope that more modules transitioning to ESM will eliminate the practice of exporting a single function with other functions attached as properties. Drives my crazy
> (you can still do like `import('foo' + someVar)` which will only invoke dynamically at runtime, so I'm not sure how that case is dealt with)

That case is dealt with more like a `fetch('foo' + someVar).then(r => eval(r.text()))` or similar (but of course it is not just a eval and it instead returns the exports of the module).

Dynamic imports and static ones behave very differently and static analysis generally ignores dynamic imports IIRC.

You also need to treat dynamic imports as async including everything that comes with that (error checking, awaiting, etc.)
The problem is not at Fastmail, and it is not at your ISP (edge/connection) - the problem appears to me to be somewhere in the global interconnection of various networks/routing -
This may be extremely difficult to solve.
Already Fastmail down more than 12 hours.

Definitely suggest trying a different internet connection - most people will have access to several - your cellphone mobile network, your wired/home network, your business network, a VPN may help.

What I see from reverse traceroute (http://traceroute.org has huge list), there are many huge global network providers (Cogent, for example) that are unable to connect any edge point to fastmail servers. This is a massive global issue for Fastmail and I don't think they are handling it well.
Russia could touch anyone in the US that they really wanted to, and vice versa. There is just this understanding that whatever you do, they are going to know it was you most likely, and something is coming back. So Russia turning a blind eye to cybercriminals extorting the USA and others is their way at annoying the USA just as the USA does to them in various ways. But when that annoyance turns into something more than annoying, and verges on an act of war, there will be a response. That is why you don't really see foreign acts of assassination. Because other parties can do the same thing.
Cray, the US super computer company uses SUSE
I lean towards the "we invented it" camp. I used to assume that most phenomena in the physical world were approximations of mathematical perfection, which I think is the Platonic view (but I'm not sure).

But then I had a different thought: what if it's the other way around? Take the famous Zeno's paradox about motion being impossible. The argument is basically that there's an infinite amount of space between any 2 points. So you can't travel from one point to another without traversing an infinite amount of space.

Most people now say that Zeno's reasoning was wrong logically. But I don't think so. I think his mistake was his assumption that continuous motion is the right model. After that, his reasoning is fine. In other words, if it is possible to move from one point to another, then this refutes continuous space. Motion is inconsistent with continuous space.

Platonic continuity is the illusion. The discrete is not an approximation for a true, continuous underlying reality: it's exactly the other way around. Continuity is the flawed, approximate model that our brains have come up with to model a discrete underlying reality. Why should our brains have developed this way? I can only guess that nature found this the most efficient thing that worked well enough.

I'm sure many smarter people before me have thought of this and figured out what it would mean for physics so I'm probably wrong. But it certainly helped me to see the other side of the argument and I've never been able to see the Platonic view as anything but naïve since this occurred to me.
This is unrelated, as Almalinux is largely a server distro.
But Linux has System76, Tuxedo and Slimbook, also Dell and Framework, though they aren't Linux first.
Is... any of that coded in law somewhere or illegal?

"I don't want it to be available for training AI" is a perfectly reasonable personal preference. We can discuss whether it's selfish or not, whether others agree or not, etc.

But this is a lawsuit. What makes it illegal for OpenAI to use your content? Like, is there some license you've put up on your content that disallows it? Is there anything that's relevant to the case at hand?
I've never had a Twitter account, but I vaguely remember way back when it came out, that people were able to get tweets as SMS messages (IIRC, smart phones were already popular, but maybe not 100% saturation like now, or maybe internet data was still spotty/expensive).

That actually seems like a reasonable way to use it as a broadcasting channel.

Too bad all of these social media sites are in a race to the bottom for most hostile user experience...
If authorizations can be described as a policy graph, what about logic programming languages such as Prolog or Datalog?

Would Datalog be performant enough at scale?

I think one neat thing about logic programming languages is that you can ask for the reasoning chain to get to the conclusion it did, or do reverse queries. (Such as, give me all the actions that a person is authorized for this time)
Nature does not allow for solving anything “indefinitely”.

Restricting owners from being able to sell is an idea, although not sure it has enough merit, since society can benefit from businesses being able to be acquired. Perhaps the pendulum has tilted too far, or technology makes economies of scale too good to compete against.
As someone who has worked with WSJ/NYT/LAT/Tribune on adtech in the past: that completely ad free subscription cost is significantly more expensive than you think.

Partially because those sponsored articles (native ads) pay a lot of money to be there.

Partially because they'd have to build and support a whole other version of the newspaper without ads, and if the subscriber count is low, that engineering/infrastructure cost isn't spread as much.

Those Google display ads do pretty much pay garbage though.

When we ran the numbers, it'd have to be a 3-5x increase in subscription cost to replace advertising completely. None of those newspapers think anyone would be willing to pay those costs.
Hurl 4.0.0
> Genuine question: why give yourself the headache of coupling having a great camera to choosong a phone then

But I can have a modern high end phone with a good camera. I can’t buy a camera that lets me take a picture, edit the picture on the device, and then the picture automatically gets backed up to iCloud, Google Photos, Microsoft’s One Drive and Amazon Photos and gets synced to all of my other devices.

I don’t have to settle for a low end phone that won’t see any updates after two years where the operating system is created by an adTech company.
I'd love to see archive.org pick up a full collection. It looks like they have a handful.
Time to find another source. Any competitor willing to step up?
C'mon, y'all, give him a break. It's cool that we get to hang out with the creator of D here.
It could be as simple for the user as a button in your web browser to donate or pay for the site currently open in your tab. And a third party intermediary that once a month collects payment/donations and distributes. The problem with Visa/MC is the minimum transaction fee of 10-25c

But a lot of work and planning would be needed to get anywhere with such an idea.
You know, now that I think about it, ASP might actually be the first example of a server side JS programming environment, kinda sorta. Nobody really did it, but you could use JScript instead of VBScript.
While I agree the dynamic nature of CommonJS would be problematic, there were successful projects around treeshaking commonjs[0] that worked really well.

I think dynamic imports have some of the same footguns here, to be honest. Can't deny ESM is easier to statically analyze though, that much appears to be true across the board based on available evidence.

[0]: https://github.com/indutny/webpack-common-shake
Moon Phases in the Lord of the Rings
What are the best ways of evaluating LLMs for specific use-cases?
We did some research into the different ways of evaluating LLMs, but there is a lot of literature on many different approaches, e.g. scores like BLEURT, precision/recall if you have ground truth data, all the way to asking GPT to be a human rater.

Are there evaluation strategies that worked best for you? We basically want to allow users/developers to evaluate which LLM (and specifically, which LLM + prompts + parameters) has the best performance for their use case (which seems different from the OpenAI evals framework, or benchmarks like BigBench).
Crypto for the Homeless (501(C)(3))
The court didn't find the HEROES Act unconstitutional; instead, they found that the executive action was not within the language of the HEROES Act.

It's pretty bad, in my opinion, that the court even reached the merits, because the plaintiffs obviously do not have standing. None of the states were able to show direct financial injury. Instead, they tried to use Missouri's financial interest in MOHELA as the basis for standing. But then why didn't MOHELA itself join the lawsuit?

SCOTUS reached the merits because they wanted to strike the program down, and this is becoming a theme with the current court. A court that doesn't concern itself with technical correctness is no court at all, but rather a legislature.
Feedback on a Hybrid TSP Solver
Hello everyone, this is my inaugural post in this community, and I'm excited to share with you my master's degree project. It's an hybrid TSP solver that blends the 1Tree branch-and-bound algorithm by Held and Karp with a Graph Convolutional Network. I've made the entire codebase available on the Github repository I've linked, along with detailed information of the ideas and the good results obtained. I'm posting this to receive feedback on my work, including your thoughts on potential areas for improvement and whether you believe some of these concepts could also be applied to Concorde.
So less than 41% then...
Cooking may be an art in one sense of the word, but it generally does not communicate a message. Neither does an off-the-shelf cake from a bakery. A custom wedding cake iced with a message, however, is protected speech.
Hollywood actors may join writers on strike
I understand where you're coming from, but -cide implies killing.
>> But if you were here in the 2000, that's exactly what happened.

> That was 23 years ago.

> It's an entire generation. A baby born after that point could now be working as a fully fledged adult.

And yet, it's no less true.

Regarding typescript, that's just, like, your opinion man. I mean, I think typescript is pretty good, especially given that its tied to the design choices of javascript, but objectively the best language. That's way too far.
A lot of the best creators on youtube are part of Nebula which is cheap ($10 a year or so) and for now run by caring people.
> I think it would be interesting and useful for there to be devices which expose a "blob" API to a bunch of Flash on a PCIe bus, and for there to be a suitable OS API for this.

We're partly there. NVMe has standardized a key-value interface for SSDs, but as with any compatibility-breaking new storage interface it's pretty much only used by and available to large cloud computing companies that can afford to rewrite their entire storage stack to take advantage of it.
Or just pay for YouTube Premium?
Remember those translucent DualShock controllers for PS2? There was nothing cooler than watching the little motor spin around when you activated rumble in-game. I'd love if Sony put out a similar style DualSense for PS5.
I just mean I can socialize and talk about it without the police telling me that's illegal because I didn't pay to be allowed to talk about said plot points
So what's next? Doctors that refuse to treat "gay" diseases like HIV?

That's already in the works:

https://www.pbs.org/newshour/politics/arkansas-governor-sign...

Should we allow biology teachers to refuse to teach evolution because that's against their religion?

That too:

https://www.eenews.net/articles/okla-bill-targets-existing-s...
That is fine. They don't have to. I'll just go somewhere else.
> How can roots be changed without a redo of the universe?

This is a very interesting question and I think reflects a mismatch between how we commonly think about of foundations of mathematics and what role foundations actually play in mathematics. There's no recording online but I recommend looking at the slides to Mike Shulman's talk from JMM 2022 where he discusses this point: http://sigmaa.maa.org/pom/Slides/shulman-2022jmm.pdf . Mike works on, among other things, homotopy type theory, the subject of the original article.

His basic point is that we should think of math more like programs that we can "compile" to various backends. If your math is high level it's not necessarily tied to a particular "architecture" like ZFC.
For starters, there are two schools like that already: MIT and Caltech.

I think most people rich enough to pull this can afford to buy their kids into Harvard/Stanford so it would take someone with a real principled interest in this approach.

Starting a research university (which you need to attract top professors) from scratch seems really challenging though because you need to build up your grants and either poach existing professors or hire junior ones. You could start a teaching or liberal arts university but a lot of students who want to go on to PHDs or take advanced classes would skip based on that.
Interesting thing is that it is not legal everywhere in the world in such away. Fair use is a concept prominent in the US and not established in Europe (the datamining directive is a bit more limiting). Also the concept of informational self-determination does not really exist in the US despite the fact that the UN statements on human rights in the digital age clearly point in this direction. This is all 'wild west' to me as a European, but somehow I wonder if there is any guns that work to protect yourself by means of self-justice.
Show HN: Meg-4, the Open Source PICO-8 alternative
Hi fellow hackers,

I've created a GPL licensed alternative to the proprietary PICO-8. It also addresses most of its shortcomings:

- available as an application or as an Operating System (fbdev+alsa backend only)

- multilanguage support

- uses UTF-8 encoding (BMP only)

- sophisticated user input methods (direct codepoint, composition, Hiragana and Katakana etc.)

- provides a large and efficient API library for your scripts

- supports C, BASIC, Assembly and Lua scripts (more to come)

- supports wide variety of file formats (Amiga MOD, MIDI, Tiled TMX, PNG, etc.)

- capable of importing PICO-8 and TIC-80 cartridges

- supports multiple platforms and backends: SDL, glfw, raylib, etc.

- runs in your browser too: https://bztsrc.gitlab.io/meg4/

Also check out its well-structured and comprehensive documentation:

https://bztsrc.gitlab.io/meg4/manual_en.html

Binaries are provided for emscripten (web), Windows, Linux (statically linked SDL, GLFW3+portaudio and fbdev+alsa, dynamically linked deb package for Ubuntu and RaspiOS).

It is still in early in development, but almost feature complete. At this stage, expect minor bugs here and there, but should work most of the time. The interface is already translated to 25 languages, but the built-in help and the user manual is only available in English for now.

Let me know what you think!
That's an interesting point. I agree with the blog that McMansions are ugly but my neighborhood has multiple Queen Annes and I like those. In 100 years will people find McMansions charming?
Nice https://www.maxlaumeister.com/tonematrix/?v=1&d=QBAEhEAAAABA...
You mean cloudlinux? They are already forging their own way, giving up on RHEL 1:1 compatibility in the process.

https://blog.cloudlinux.com/cloudlinux-os-8-and-9-in-post-re...
I'm sure we all know how this species handles with problems: wars. International wars, civil wars, class wars, street wars, all that and a few more, not invented yet. In war times some are known to increase their wealth and it happens they are also those having currently the power to do something against war. Will they do something against increasing their wealth?
What stops that person now?
I didn’t do that when I set up my dev machine, and got into quite a mess of differing brew install versions plus different repos having different dependencies.

asdf helps quite a bit now.
Yea aside from it indicating less budget for R&D, anything that’s ridiculously promoted probably means u would b spending significantly more than you should be for that lol.

It’s very simple and not even nuanced I’m just unsure why many seem to gloss over that. Perhaps I’m more jaded than most
I paid for YouTube for a few months, even though I run everything through pihole, but found that I didn't get enough value to justify the cost.

They're essentially charging 80% surplus to tack on a poor man's version of Spotify. I also don't get any other improvements to the service.

If they'd just give me a feature that gives continuity of play between devices I'd pay the full monthly price without blinking.

So many small QoL improvements that would make a huge difference but instead they're too busy removing voting buttons and testing obnoxious autoplay thumbnail ads.
It will be interesting to see how this plays out. Spotify announced that it would start to crack down on adblockers in 2019 [1], but I've been using ublock origin on their web player since then and haven't noticed any issues (apart from the odd glitch when the blocker is trying to skip the ad). Did they get cold feet or was it mostly a PR move?

https://gizmodo.com/spotify-may-suspend-your-account-if-it-c...
I'm plenty capable I mean I've had like 4 or 5 unexpected ground falls in 20 years. Hung over rushing to class no hands trying to put a water bottle in my back pocket, someone stepped out from behind an on trail overhead bridge support column, braked hard for someone doing something unexpected and illegal while I was riding downhill on cobblestone. Shit happens, lessons to be learned in every case but protected hands always welcome.

I've never fallen no-handed but it was nice having gloves while developing that skill too ;)
Martin Gardner had a comment in one of his books that stuck with me. Roughly, In any scientific field where evidence is weak theory will conform to the cultural biases of the scientists.
Bitcoin Cash (BCH) Makes 30% Jump to $300: Decoding the Surge’s Motivation
It is not possible to do same origin from a file system. Everything served from a file system is considered to be different origins. This drives me bonkers.
> CommonJS is hurting JavaScript

That's just not good enough, it needs to strangle, crush and bury javascript...
How does something ends up on the front page which is so uninteresting(1) that both on the site it comes from and here, there isn't a single comment.

(1): Uninteresting but not irrelevant. Like a step in a stair, each step is uninteresting but relevant as missing a step is a huge issue.
We can look at russia arresting random foreign nationals for bullshit reasons right now.
My take is, there's no completely "fair" and "merit-based" way to measure university applicants. But can we approximate by using a ranking based solely on grades and financials? leave out essays (that can be paid for), race, extra curriculars, legacy etc. Adding some randomness (lottery for people on the same band) is an extra idea.
You should see how the Israeli government blocks off roads from Palestinians in their apartheid state. It's very methodical and cruel, but the government absolutely can do it.
If you're interested in formalizing math, check out Metamath: https://us.metamath.org.

By itself Metamath doesn't embed any particular set of axioms. The most widely used database (axioms and proven theorems) uses classical logic and set theory, but there's also databases for intuitionistic set theory, new foundations, and higher order logic.