skysight-inc/HackerNews huggingface dataset:
> Don't even get me started on htmlx, something revolved around some wishful idea from 20 years ago on how the web should work, it never picked up all that time so why now?

I can talk about my own experience with this "just fetch and replace HTML instead of having a fat js frontend".

Before htmx or its ancestral intercooler even existed, I created a system using this methodoly. It fetches and replaces HTML using ajax/js.

It has been over a decade and it is still easy to maintain and getting new features. It has over 900 database tables and over 1000 different pages full of business logic, to give you an idea of the size. It is dead simple to deploy. Has no build step. The code is KISS but organized in layers, and can withstand regular developer churn just fine. New devs are productive week 1, sometimes day 2 even.

So yes, I'll get you started with htmx because, it feels dirty I know, but it scales and produces long lasting maintainable software.
The article lost me at following sentence:

> A double arrow => describes constraints on the type variables used, and always come first: add1 :: Num a => a -> a describes a function which takes any type a which satisfies Num a, and returns a value of the same type.

Here, I don't understand what `Num a` syntax means. It was not defined before.
And, what does "satisfies" mean? It is also not defined before it is used. (It is also never mentioned again in the article.) It is maddening to read such sloppily constructed prose. Define your terms before you use them!
Ahh good memories. I wrote Pente for PalmOS back in 2004 or 2005, complete with a computer opponent using a minimax tree with alpha/beta pruning. Unfortunately I never finished or released it. It was so much fun to do early mobile development - it compared to nothing else I'd done at the time. And it wasn't easy. This is definitely an accomplishment.
Just a nitpick: average != random. The average driver is not a student teenager or a 90 year old.

Also, a taxi driver may not be a good baseline since what you're replacing is not exactly taxi drivers but instead you're replacing some taxi drivers but also yourself.
> graphene was supposed to be this wonder material, and now it's found in the soles of trail and hiking boots.

I mean, that's not because graphene has become a routine part of our material repertoire. It has no reason to be in those things, does nothing, and is just marketing fuel. We may put "graphene" in things, but we are not much closer to using its interesting properties.
There are hop sodas but I've never found them to represent the flavors in a good way. A little bit better are alcohol free IPAs.
Also a fan of revenue neutral carbon pricing that uses a standard dividend. Pricing externalities does seem like the only realistic way to solve tragedy of the commons issues like climate change. The weight of regulating individual actions would be impossibly complex.

I also think pricing alone isn't sufficient since there are many poor people who can't really make different choices about their consumption even if they want to. Without choice carbon pricing loses effectiveness, since there isn't any way to optimize your costs.

The edge case I think about a lot is a poor urban/suburban renter without access to functional public transit. Since they rent they can't take steps to improve the efficiency of their dwelling. They can't rely on transit to get to work due to poor service reliability. Sprawling car-centric development means cycling is dangerous and far, so they must maintain a private vehicle, which is likely to be old and inefficient in order to be affordable. A dividend is unlikely to be sufficient to fundamentally change any of these conditions since this person is likely to be roughly revenue-neutral.
Well, yeah, but this actually goes beyond those that first rectify.

E.g. bridge less totem-pole designs where rectifying and the active power factor correction stage are fused, would also work unless the firmware gets confused by the lack of input polarity flipping.

And yes, that topology can also go into a flyback transformer or pretty much any other unipolar magnetic of an SMPS.
Companies always want to commodify their complements, right? I wonder if there's a framing where the employees are one of the complements.
I'm under the impression Intel's 3D XPoint/Optane memory was based off the same process used for memristors.
Because law enforcement and prosecutor discretion is a huge portion of the legal system in US. This selective enforcement is business as usual. They couldn't enforce all the laws even if they wanted to because the system doesn't have the capacity.
> mOne = Just one

I'd call that explicit casting. Implicit casting would be

mOne = one

Compiler already knows what "one" is, it could insert the "Just" itself, no? Possibly due to an operator defined on Maybe that does this transformation?

That is, are there some technical reasons it doesn't?

Or is it just (no pun inteded) a language choice?
And that exclude long distance relationships and the case when one of the family members is studying abroad. And this is a realistic scenario not a hypothetical one.
> Why is police stationed in the subway a bad thing?

Mostly, it's just a waste of money. Just move the fee collection to taxes and you can free literally hundreds of millions of dollars devoted to stationing cops and stop pretending that fare skippers are going to financially cripple the city. Cops can't keep up with the kids anyway.

> Most of the time, they're lowly constables and recruits doing national service.

"Service" is a reach given most of what they do is... nothing. Literally just standing around as a physical manifestation of security theater. If they want to be useful they can build housing or distribute food or bring people healthcare.
Yes, that was a typo. I meant it was using >20% of cpu.
The root cause for the PHP vulnerability is trying to parse unstructured text. The actual information in WHOIS has structure: emails, addresses, dates, etc. This info should be provided in a structured format, which is what RDAP defines.

IMHO, there is no reason for a registrar to not support RDAP, and to have the RDAP server's address registered with ICANN.
> “In abstract, the author should add more scientific findings.” “Discuss the novelty and clear application of the work in the abstract as well as in introduction section.”

I don't understand why that are smoking guns. They look like standard problems that can be addressed with standard phrases. Do they appear in absolutely all the reviews of some reviewers?

It's like “We recommend that the paper be accepted after revision.” The interesting part is if the paper makes sense and if the list of recommended revisions make sense, not that they copy&pasted a filler sentence.
I think a large part of it is because of Elon Musk's obsession about controlling (if not owning) as much of stack as possible. That mentality goes into even the things you do not own, but lease.

In the Isaacson biography there's a theme across his ventures, sparked by early misfortune, about being in control of things end-to-end because then you have more flexibility to optimize, make more leaps that can come from orchestrating creative adn bespoke integration options.
The IntelliJ IDEA plugin for Scala is built by Jetbrains, so it has official support. It has its quirks, but so does the Kotlin plugin.

Sbt is better than Gradle IMO, as it has a saner mental model, although for apps you can use Gradle or Maven. Sbat has had some awesome plugins that can help in bigger teams, such as Scalafmt (automatic formatting), Scalafix (automatic refactoring), Wartremover and others. Scalafmt specifically is best in class. With Sbt you can also specify versioning schemes for your dependencies and so you can make the build fail on problematic dependency evictions.

Scala CLI is also best in class, making it comfortable to use Scala for scripting – it replaced Python and Ruby for me: https://scala-cli.virtuslab.org/

Note that Java and Kotlin have Jbang, but Scala CLI is significantly better, also functioning as a REPL. Worth mentioning that other JVM languages hardly have a usable REPL, if at all.

The Scala compiler can be slow, but that's when you use libraries doing a lot of compile-time derivation or other uses of macros. You get the same effect in similar languages (with the exception of Ocaml). OTOH the Scala compiler can do incremental compilation, and alongside Sbt's support for multiple sub-projects or continuous testing, it works fairly well.

Scala also has a really good LSP implementation, Metals, built in cooperation with the compiler team, so you get good support in VS Code or Vim. To get a sense of where this matters, consider that Scala 3.5 introduces "best effort compilation": https://github.com/scala/scala3/pull/17582

I also like Kotlin and sadly, it's missing a good LSP implementation, and I don't think Jetbrains is interested in developing it.

Also you get all the tooling that's JVM specific, including all the profilers and debuggers. With GraalVM's native image, for example, Scala fares better than Java actually, because Scala code relies less on runtime reflection.

I'd also mention Scala Native or ScalaJS which are nice to have. Wasm support is provided via LLVM, but there's also initial support for Wasm GC.

So to answer your question, yes, Scala has really good tooling compared to other languages, although there's room for improvement. And if you're comparing it to any other language that people use for FP, then Scala definitely has better tooling.
I think the issue in NYC might be the police union rather than the organization per se. As described in the article the source and enforcement of this particular practice is the union. I’m actually quite sympathetic to unions- it seems like there are many scenarios where they would really help workers - improving scheduling, making pay more fair, demanding health care benefits. (And unions have done all these things in the past!)

But it seems like sometimes there is capture by a cartel that creates and enforces anti-social behavior. In the case of police, once the cartel is established I don’t see how it can be broken. In a small town, you can just fire the whole department and start over, but short of bringing in the national guard while you trained new police, I don’t know how a city like NYC could do this. This is important because as we’ve already experienced in the post-2020 period, if enough people ignore the police union political endorsements, they will take collective action to reduce public safety. So the cartel (along with violent criminals obviously) effectively can make their own rules.

One solution might be to demand that the majority of police working in a region/burrough/etc, actually lived there????
> I'm not sure that's entirely true (I wrote the examples)

Which part?

> the point I'm trying to make is that you can precisely describe what `doSomething` consumes and produces (because it's pure)

I think you failed to demonstrate it, and more or less demonstrated the opposite of it: the type signature of doSomething does not show its implicit dependence on getResult.

In Haskell you can do

foo :: Int
foo = 5

bar :: Int
bar = foo + 1

(run it: https://play.haskell.org/saved/hpo3Yaef)

which your example does. In this example bar's type signature doesn't tell you anything about what bar 'consumes', and it doesn't tell you that bar depends on foo, and on foo's type. Also you have to read the body of bar, and also it is bad for code reuse.
There is no monopoly bigger, or more expensive, than government, which was previously the only player in the space.
Very true. There isn’t an actual limit. You can horizontally scale with SQLite if you want to or need to. I just think it is worth pushing vertical scaling as far as possible as long as possible. And I don’t actually believe that SQLite is the right tool for every problem or web app. Some apps absolutely should use managed PG/MySQL or serverless PG/MySQL. I think they are the statistical exception and 80% of web apps would be well served with SQLite. But for the other 20%, probably simpler to just start with PlanetScale
Lean aims to be a general purpose language, but I haven't seen people actually write HTTP servers in it. If Leo de Moura really wanted it to be general purpose, what does the concurrent runtime look like then? To my knowledge, there isn't one?

That's why I've been writing an HTTP server in Idris2 instead. Here's a todo list demo app[1] and a hello world demo[2]. The advantage of Idris is that it compiles to e.g. Racket, a high level language with a concurrent runtime you can bind to from Idris.

It's also interesting how languages don't need their own hosting (e.g. Hackage) any more. Idris packages are just listed in a TOML file[3] (like Stackage) but still hosted on GitHub. No need for versions, just use git commit hashes. It's all experimental anyway.

[1]: https://janus.srht.site/docs/todolist.html
[2]: https://git.sr.ht/~janus/web-server-racket-hello-world/tree/...
[3]: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...
My cousins did this to me as a kid. I thought it was great that a little battery could give such a huge jolt simply reversing the input side of a step down transformer to the output side.
As kids we had rudimentary knowledge of what a transformer did since our country used 220v but most of our electronics came from the U.S. and needed a step down transformer.
This sounds a lot like trying to define assault weapons. There are a few features you don't like (which many people do) so any website with too many of those features is Evil. Though I suspect it's more emotional. Is Whatsapp social media? What about email lists? I'm also curious to know what you think of HN's "social credit score".
I used them when running some tasks. There's a shortcut for it in my dotfiles.
I wish there were more details about the strategy/techniques he used. This reminds me of reading up on Cannonball runs [0] (racing coast-to-coast as fast as possible). Though this is a lot more pro-social!

[0] https://arstechnica.com/cars/2019/10/coast-to-coast-in-under...
If the author reads this, I'd like to suggest a change in font. At certain scales, the website's font puts emphasis on the cross-bar in the letter 'e', and the letter 'g'. It's incredibly distracting, and only seems to happen at certain scales, as I could 'fix' it by increasing/decreasing the font size.

I'd message this directly, but she doesn't provide a method of contact on the site (reasonable).
I bet this finds some feeds that sites don't know or have forgotten they even have.
Bad as in bad.

A lot of space technology is purely functional, but these clearly have poor design taste put into them. The old suits that the Apollo era used were probably almost only functional, yet even they look better.
Haha. A lot of people say that. But as an artist myself, I think automating too much can actually lead to sterility in art as well. It's a matter of moderation. Complete automation leads to bad art.
China is already full steam ahead on pure BEVs; if that does happen it will probably be due to tariffs.
The government took all the good land for this in the 60s. So the government mostly just has the land in the right places, that's a really important part. Building most of the ground infrastructure, is still custom to every rocket company.
I use GrapheneOS on my Pixel 8 right now but it's been obvious for a while that this is the way Android is moving. Eventually all proprietary Android apps will require both attestation and play store installation, making something like Graphene far less useful than it otherwise could be.

There's still a decent amount of good open source software on F-Droid of course, but so much of the Android ecosystem is proprietary software that being unable to run any of it really hamstrings you.

I was considering buying a Jelly Star as a second device to run the garbage proprietary apps I will still need.

It's a shame we've ended up here.
BricsCAD is ok. It's more of a direct modeler with constraint support though. It may or may not matter to you depending on the kind of work.

I tried it for a while, and while I generally liked it, also got stumped by the artificial limitation of STEP import/export, which made it a non-starter even for hobby projects. This is, IMHO, the dumbest thing they could do in terms of licensing.
Personally, my next vehicle will be a plug-in hybrid, likely a used Prius.

For all the benefits of EVs, they are a hassle today and will likely continue to be a hassle for the lifetime of a vehicle purchased today.

My current vehicle, a four door sedan, averages approximately 6 l / 100 km. Pretty good but that is largely because it is light.

IMHO, there's a huge part of the hybrid / dual drivetrain story that EV advocates miss - eliminating most (but not all) fuel emissions is a very good start and is certainly better than the status quo. Hybrids also come with the benefits of both fuels, an advantage that is often ignored.

A 2023 Prius prime has about 60 km of electric range. This is well above the average commute length in Canada.
I'd argue that Scala's "compromises" in general make it a better language than many others, independent of the JVM.

But we can talk specifics if you want. Name some compromises.
There is certainly a lack of self-criticism and a lot of prejudice, to be sure, where modern philosophy and the like are concerned. The prejudice toward Thomism comes from at least three sources: 1) ignorance of what it actually claims and argues, 2) the tradition of teaching to students caricatures of what it claims and argues, 3) a prejudicial aversion to anything that is perceived to smell of incense.

Feser himself was guilty of these prejudices, some of which he describes here[0]. So he has the perspective of being on the "other side", if I may allow myself an oversimplification (he doesn't deny that there are insights to be found in other views, something consistent with the spirit of "logos spermatikoi").

As far as wacky trends in philosophy today are concerned, I will say that if you don't think eliminativism is bunk, then you probably have not understood what it claims.

W.r.t. the soul, to make things more precise for those interested, I would not say so much "pattern" as "form", which is to say the organizing cause of a thing. For example, the "sphericity" of a ball of bronze is its form or formal cause; it is that which is essential to the kind of thing it is, what makes it the kind of thing it is. Patterns are an effect of the form. Souls are just the forms of animals, and the human soul is immaterial because of the intellect's capacity for the abstraction of universals from particulars, to name one cause. Its immorality is the result of its immateriality, as mortality is corruption or destruction, i.e., change moving away from what something is by virtue of its form toward some other form, and that is change that only matter can undergo.

[0] https://edwardfeser.blogspot.com/2012/07/road-from-atheism.h...
_Sometimes_, and people do find features in neural networks by tweaking stuff and seeing how the neurons activate, but in general, no. Any given weight or layer or perceptron or whatever can be reused for multiple purposes and it's extremely difficult to say "this is responsible for that", and if you do find parts of the network responsible for a particular task, you don't know if it's _also_ responsible for something else. Whereas with a decision tree it's pretty simple to trace causality and tweak things without changing unrelated parts of the tree. Changing weights in a neural network leads to unpredictable results.
What you're talking about is the same studio reusing assets that they made and have saved to fill in the background.

This is common, but that isn't the same as selling your hero assets to someone else and having them use them as a hero asset, which is what the other person was guessing happened.
Probably Milwaukee.

Downtown Madison is sandwiched between 2 lakes, and most of the city orients North East for the roads that run between them.
I’ve been conceptualizing one for a few years, but just don’t have the free dopamine to build it alongside my day job.

ActivityPub even has the mechanics to facilitate it through publishing Person records. There is MASSIVE space for innovation, especially if you prioritize on non-monogamy, non-heterosexual, non-gender-conforming needs.

Dating apps are a REALLY hard space to get into, however. You need a cumulative mass of users in a given area before they’re useful, and monetizing it inevitably means making the app less useful. There’s a reason okcupid went to shit after it stopped being a non-profit.

And then there’s the moderation problem…
Apple Intelligence Promises Better AI Privacy: How It Actually Works
As I explain in the post, if you have multiple connections and consistent write load, the timeout will penalize older quereres and noticeably harm your long tail latency
How to talk about your indie game so that people will listen
I've been given one by a member of the NYPD twice in the past couple of years. I've politely accepted it, put in my desk drawer, and I do not carry it. Always bothered me. Police culture in this city is fundamentally broken.
For sure, and I think your way is probably superior overall.

There are just a lot of people where as soon as you say “code” or “text editor” they are out.

My proxmox stack is manually managed in the management GUI, but my Linux VMs within that setup are all managed with a Chef server that runs on one of the VMs. (I would say I only chose Chef because I use it at work and I have recent familiarity and figured I could learn more about it)

Basically I do the standard graphical Debian installer and then run a bootstrap script that registers each system as a client.

The next thing I’d like to do is figure out cloud-init with Proxmox so that I don’t have to do that manual installation process anymore.

This setup works okay for me as-is since I only have about 5 VMs at a time, it’s just a hobbyist setup.
It would actually charge your inductor. The energy stored in an inductor is proportional to current running through it. This is key to the action of a boost converter.

The physical equivalent of an inductor is a flywheel, which makes it much easier to visualize.
Lambda and Fargate.
>> That's just a local problém, there's no such shortage in Europe.

Your point is valid even in the context of my humor actually. Many of these problems are highly local.

For example, the "shortage" of things in NYC are usually because people dont account for local constraints. My colleagues in NYC complain about a "shortage" of nannies, yet cant seem to see that the living wage in NYC is super-high. Why would a nanny work for below-living wages? I'm sure that with commensurate income, the shortage would disappear.
Yeah. Thankfully, HN updated the title to be more descriptive. (Old title was "Novel Architecture Makes Neural Networks More Understandable")
Is this actually substantiated by people who've worked with him? Or is it put out by his PR team? Because I've also heard this several times, but only through comments like this on the internet.
An entire summit full of non-public information that will surely leak in a few days? All of it about the security around the most popular PC OS?

In what world this is not worth reporting?

On your anecdote, if Biden and Xi decided to make a week-long secret meeting somewhere, the press would be all over it too.
Quick (if partial) fix: Put big, obvious trailer hitches on Waymos. Most of the bottom-tier human drivers notice those, and most cut back on their moronic tailgating.
There's a username and password prompt.
It just means that ‘a’ must be a Number [0]. In this context, I believe satisfies means that it implements the things defined in the ‘minimum definition’ in the link below. If you’re familiar with Go, it’s similar to something implementing an interface.

[0] https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-N...