skysight-inc/HackerNews huggingface dataset:
Yes, and there is https://tantivy-search.github.io/examples/basic_search.html

But instead of this, I would prefer some way to just hand it JSON and for it to just index all the fields...

for comparison, this is my meilisearch SDK code:

fun createCustomers() {
val client = Client(Config("http://localhost:7700", "password"))
val index = client.index("customers")
val customers = transaction {
val customers = Customer.all()
val json = customers.map { CustomerJson.from(it) }
Json.encodeToString(ListSerializer(CustomerJson.serializer()), json)
}
index.addDocuments(customers, "id")
}
A curriculum is designed. It's a product. It's optimised for teachers to deliver lessons in such a way that students can learn faster than log-normal.

Designing and implementing a curriculum is probably a log-normal effort.
This is the equivalent of throwing half of the resumes in the trash, because "you don't want to hire unlucky people".
> CGNAT and no IPv6

there should be an itu mandate to label this kind of service distinctly different (e.g internet lite/basic)
And you can say "Actually that is not the case with iPad, you can have your own applications there without rooting it." have you heard of Xcode? still... you are missing the point, you can't even use an iPad to properly code for iPad
Also worth noting how often DNSSEC causes outages. https://ianix.com/pub/dnssec-outages.html
> sounds like a regressive tax, since lower income workers often have much longer commutes

Ideally it's related to the wear and tear the vehicle places on the road. That's a function of distance. But also weight and axle count.
Further, a TOS announcement can be easily construed as an admission of intent to fuck users.
> If as you say the issue are kanaks being racists against foreigners, that means the non kanak french people living there are indeed foreigners. You are only confirming they are colons

So by your logic arab people in Europe are colons and should GTFO ? The reality is that migration happen and territory dont belong to a special skin color. Saying the opposite and hatin people who were born on the same territory just bc of their culture is just plain racism.

1998 was 26 years ago and people are assholes to each other at work even when they are from the same culture. Thats not an argument.

And once again the kanaks have their own institutions and are mostly autonomous. (And even better than that considering the money flowing from france). And the extremist actually burnt them several times.

Its not about colonisation. Its basic extremist / racist violence from a minority motivated but russian propaganda on tik tok like in niger and centra africa
It is quite tedious when discussing kafka people are spouting just the contents of confluent blog posts, like you must use X serialisation, you must use X registry, when in a lot of cases you can just use protobuf.
> In K&C Undefined Behaviour meant "you get what the hardware gives you".

No, what you are talking about is "implementation-defined". Out of all trades, programmers should know better than everybody else to code against the specification rather than the implementation. If your code worked with K&R compiler by chance, and not by contact, then your code is wrong. Period.
To me, that seems like describing ovens and stoves as work-arounds for supermarkets providing frozen food?

The weights are frozen on purpose. You can "thaw" them.
It's kept up-to-date automatically. It is appropriately firewalled to only expose ports 80 and 443, the administration panel and the rest of the services hosted on it are only reachable from my LAN. It only serves static content, no scripting language is enabled.

A determined attacker might be able to get in despite all of these precautions, but it's at least administered in a somewhat responsible manner. I highly doubt most servers exposed on the internet are.
Lua is a great language for embedding - the difference between lua and luau is that luau gives you a restricted sandbox for your scripts, meaning you can have user generated scripts - like Roblox, UEFN, that sort of thing
The difference between medicated vs unmedicated ADHD is something that people can't understand.

Like just being able to focus on one task for hours. Easily.

Instead of your brain and attention bouncing between 15 different shiny things and eventually not getting anything done.

EXCEPT when there's a fire and production is horribly broken and you write the script that fixes it while the support team in India is still figuring out who to invite to a the meeting to discuss about starting to fix it :D (True story)
For yet others, it could be all of these,

if they have chosen a diverse enough clientbase.
UK borders prepare for EU fingerprint travel rule change
Main two things for me that (in my opinion) Apple does better than others are 1) excellent trackpad and 2) no air vents at the bottom of the laptop. With those two things I find MacBooks to be very usable on your lap, like for example in trains, airports, or even in an outdoor chair.
Did you read the blog post? It doesn't include the entire correspondence so it's not clear how explicit Cloudflare was about this but the Enterprise plan they were trying to upsell them includes BYOIP. It's clear to me that Cloudflare insisted they buy the enterprise plan because it includes BYOIP.

So in other words, Cloudflare noticed the author was running a gambling site, they decided that this was negatively impacting the shared IPs and the author would therefore need to upgrade to a plan that included BYOIP because they would need to use that feature to continue using Cloudflare and they likely insisted on prepayment for the annual plan because gambling sites have a reputation for being flaky and prepaying would have demonstrated the liquidity necessary to continue operating the site at that plan.

Again, Cloudflare could have communicated this better (and maybe they did in parts of the correspondence the author didn't share) but this all seems perfectly understandable, especially given how the sales team kept referencing Trust and Safety (implying the alternative is ending the contract for violating the ToS).

The issue of tainting shared IPs would indeed have suddenly gone away had the author brought their own IP (which would have required an Enterprise plan to do while staying on Cloudflare). Instead the author feigns ignorance arguing they don't even need the features of the Enterprise plan and doesn't acknowledge the issue with sharing IPs while sheepishly mentioning that maybe they're accidentally invading bans of their domain in certain countries by having alternative domains which they of course don't actually need because most traffic comes from their main domain yet somehow having these alternative domains is critical to running their business.

What are you even trying to argue here? The author is being deliberately dishonest in how they frame the incident and Cloudflare's motivation is perfectly understandable. The only thing to take offense with is the communication style which we can only judge based on a select few messages the author shows us. We have to rely on their word after they have already demonstrated dishonesty.
> I requested the feed in my browser _twice_ and already received a 429 with a Retry-After of 24 hours!

My guess: No `Cache-Control` response header.

checks

Yup, no `Cache-Control` response header. So she doesn't want more than one request per day, but also doesn't want to add this header to the responses:

Cache-Control: public, max-age=86400, stale-if-error=86400
Also made this exact association. My takeaway: when estimating unknown quantities in software development you can treat means as infinite thus making any project unestimatable (management hates this reasoning - a friend told me, pinky promise); otherwise assign some non-zero probability than any mean will be 10-100x of the estimate.
Apply to Come to Invisible College
> Problem is the current systems can’t reason about things

Sounds like the AGI argument trap: They're not able to reason, but we can't succintly define what it is.

I don't come with a reasoning chip. Whatever I call reasoning happens as a byproduct of my neural process.

I do think that the combination of a transformer network and calls to customized reasoning chips (systems that search and deduce answers, like Wolfram Alpha or logic/proof systems) may be a short-stop to something that can perform reason and execution of actions better than humans, but is not AGI.
My point is that the "project" side is not really a "temporary endeavor undertaken to create a unique product" [1] in the majority of cases.

Sure the environment, circumstances and result differs for every construction project, but the variance doesn't justify to call it a project in most cases in my opinion.

We've built millions of modern bridges that are in operation and we've been doing it for more than 3000 years. The number of environments, configurations and requirements we've not already encountered is very limited and these are the real construction projects that - no doubt - do exist.

Now, contrast this with the number of CRUD apps we've built and for how long we've been doing it. There is still a lot to learn there.

That's the reason why more bridges are on time and budget than CRUD apps, in my opinion.

[1] https://www.pmi.org/about/what-is-a-project
Brits had all sorts of European forces on their lands and each brought cultural artifacts with them
Desktop customization is largely the reason I learned Linux and programming. Over time I’ve come to abhor knobs and arbitrary decisions I must make as a user. I find macOS’s opinionated, largely very thoughtful design a relief at this point.
> Using just assembly is not realistic.

And using C as fully deterministic is idiotic, considering the effort that went into specifying in great details everything that is NOT deterministic.

> I'd love C-like language which compiles to assembly in an understandable way.

Which is orthogonal to its purpose. A compiler's job is to provide the fastest code that implements what your (correct) code specified. Readability is pointless for generated code, as it not meant to be read nor modified.
That's kind of what makes it un-funny, there's like 100 repetitions of the same joke. How can that be funny?
Honestly the rule I put on it nowadays is, if it doesn't have a logical boundary within the organization then it doesn't need to be a separate service.

If you have 6 microservices and they're all being maintained by the same team of developers, you don't need 6 microservices. At most, I would grant maybe 2 - and that's simply because usually once something like payments and credit card handling get involved, for compliance reasons you want to really not touch it unless you have to - but that's still an organization boundary, just a self-imposed/PCI compliance based one.
Yes, but does it use AI? /s
Maybe have a look at https://github.com/ktock/container2wasm, it most likely could boot into a customized container with all golang tools installed.
Not sure about best practices, but these two resources are a good reference point:

- Know Your HTTP Well: https://github.com/for-GET/know-your-http-well

- HTTP Decision Diagram: https://github.com/for-GET/http-decision-diagram
https://archive.md/O0q6W
How Software Infrastructure Affects Sales
There's also the fact that road signage alerts of train tracks well in advance to increase our awareness level to the road ahead.
Wish there as also a page like that for TLS (as used for "Web PKI").
I think the question about that kind of geoengineering is really going to be a "who cracks first and just goes for it".

My guess is it'll either be India, suffering under heatwaves incompatible with human life, or China beating the sea back from some of its biggest cities.

No Western country will be able to have the political ability to do anything like that as a first mover, though I imagine they'll eventually quietly be on the bandwagon if it works, if for no other reason than it would allow more carbon emissions, which are going to be highly correlated with economic growth for quite some time to come. Whether or not it's actually a good idea, I guess we'll find out in a few decades.
Provided we still have search engines that can search for literal text a few years from now, I think it should work.
You say 'convenience' and I don't know if it's a strong enough word - the gap in difficulty between working with normals and anything else is like in the draw the rest of the owl meme - it's so wide nobody ever bothers.
But those services know about each other and have to communicate, right?
Ah uhh, well they clearly went with the other candidate over your lack of short term memory ;)
California launching pilot program to charge drivers for miles driven
I think understanding mathematics is what LLM really need at the moment far more important than video generation that is just another form of CGI [1]. After deep learning and transformer, understanding mathematics and its proofs not just arithmetic will be the next game changer for LLM and a turning point for humanity.

[1] Why LLMs like ChatGPT and Google Bard are bad at math:

https://www.xda-developers.com/why-llms-are-bad-at-math/
No I'm aware of examples like these, I just asked for clarification what they mean by "define it to not travel backwards in time". To me this sounds nonsensical.

I'm not deep into compiler construction, but to me these examples seem just like a logical consequence of what UB is -- it's a (runtime) situation that the compiler is not required to take into consideration. It can opt to not emit code to treat these situations at all, etc -- effectively assuming they don't happen. The point is to allow the compiler to blindly dereference a pointer even when it can't prove that the pointer is valid. Or to allow it to implement arithmetic on a register of bigger size (assuming the computation doesn't overflow), etc.

Now, depending on how optimizers are written, the compiler may end up inadvertently detecting UB and optimizing out entire branches of code, just by virtue of how the optimizer works internally. You can bet that the compiler doesn't think much of e.g. what is earlier or later in time, when doing optimizing transformations.

Of course a "miscompilation" (of code that is buggy in the first place) is an unfortunate situation and a diagnostic would be better. Compilers should improve (and they probably do). Compilers should be friendly and give unsurprising results and good diagnostics as much as possible.

But to "define it to not travel backwards in time" right in the spec would probably be very hard and might negate the point of UB in the first place. It would require doing the work of compiler authors, which are the people responsible to figure out how to make _their_ compiler solid and ergonomic while also offering the optimizations people want. This is already a hard task for the authors of a specific compiler, and probably not something that you can easily define in a language spec!

And for balance, I've never consciously had to deal with a miscompilation like this, and I write C and C++ in professional capacity almost every day. Instead, most bugs I deal with are of the most trivial kind, you hit a segmentation fault, quickly navigate to the piece of code where there is still some initialization stuff missing, and fill it in. Or there is a logic bug that is entirely unrelated to UB, those are in fact, typically, more difficult to find and fix.

Note that while I'm by no means an exceptional programmer (not that I think you think that of me). I simply want to solve a problem. And while developping I introduce bugs and even UB sometimes (even though it seems to be quite rare if I can trust sanitizers). I'm actually sophisticated enough to develop in debug mode, with most optimizations turned off, and this might be one explanation why I've never hit an annoying situation like this.

To me, these stories are fascinating, and I think they should be taken seriously. But their effect on online forums is mostly to heat up discussions.
So basically you just want the functionality without paying for it.

> they overprice and they forget people use multiple plugins

People who complain about the prices also forget that a lot of these plugins take months or years to develop. You’re (we’ll not you since you made it clear you don’t pay the devs) literally getting thousands of man hours for like 60 bucks per year.
This was my catch phrase for years, and today I learned I used it wrong all the time.
Why LLMs like ChatGPT and Google Bard are bad at math
pedantic note. nobody talking about REST really does REST. Where is the representational state. REST is when you ship the whole application in the message to the far side to let them figure it out.

Now that I've got that stupid pedantry off my chest, Yeah I know what you mean when you say REST we all know what is meant when REST is brought up. But I find it funny how Roy Fielding said "wow, it is really cool how web pages ship the whole application to the user on each request lets talk about that" and everyone else basically went "ok HTTP == REST, got it"
Very cool that it was able to generalise from small numbers to larger ones with such high accuracy.
> I’d like to think that caring for my brain-dead patient satisfied some small part of this need to feel human...

I really balked at this and other similar statements. I for one don't want people to waste their time looking after my dead body; I'd prefer that doctors spend their limited time offering care to those still alive.
App detection is being able to tell which app you're using, e.g., knowing that you're using Helix and not just WezTerm

Poor key binding support is still a problem despite the optimistic quote (and might last for one more generation given the snail speed of progress). For example, the kitty protocol isn't "comprehensive" despite its dev's claims: it doesn't support left vs right modifiers and also some non-standard modifiers that are used to circumvent this limitation (only hyper)

> At least I indeed saw no such issue using helix in wezterm for example.

I think helix still doesn't support even the full kitty protocol, e.g., the Windows key.

And I do see these issues since I'm using richer keybindings to make input more ergonomic.
I guess it would be interesting to implement this for DBUS using FUSE.
I love RSS but this approach worries too much.

It's static content, at least as static as the rest of your content, so write once and let one of a dozen CDNs cache it for you for free. They will do a good job of setting cache headers for you. If people want to ignore them and honk on it from their crappy readers, that's on them.

Even if you're personally serving it from your kitchen toaster, it's static content. You need a significant number of bad actors for this to be a problem.

Moreover, if this post is anything to go by, treating a bad reader with a logical hurdle and expecting a sane result is baffling.

It's not worth this much headspace.
By such arguments, what is the point of any research, at all?

If everyone was using horses what would you had said about the first prototype car? Probably a very slow and clumsy and failureprone thing.
Temperature is already a parameter. Apparently humidity doesn’t have quite such an effect.

In the example further down the page where I attempt to work out where the air cannon was fired from, the “1” is for 1 degree Celsius.
Deadlines are good. The world operates on deadlines and IT is the exception.

We can build bridges on time and budget most of the time because we've built millions of them in modern times and have been doing it for more than 3000 years.

In software we are not there but I have no doubt that we will, and hopefully it won't take us that long.
Somewhat funny that it has the same name as https://cobalt.tools which lets you download audio and video from many sources including YouTube.
Reminiscent of Diane Morgan's Mandy -- "I'm at my lowest egg"
I knew I recognized that name, it’s from hurl.dev
We're as humanity building a reasoning machine bottom up. It can't reason... yet. Expecting a magical switch that will make it reason about anything and everything is unreasonable. Starting with arithmetic makes perfect sense.
The more doors you open intentionally, the more doors become open unintentionally.

If I wanted a device that allows installation of any OS, I would buy one.

Companies like “Honor” are already doing a good job of cloning Apple’s UX. Go right ahead… nobody’s stopping manufacturers from making fully hackable phones.
afaik there was a serious lack of v6 support within aws services. has the financial incentive reached this far or do they just want to charge you more?
I am also using a simple iPod shuffle knockoff with bluetooth when running, works great!
No need to apologise. I was honestly curious.
Hiring Great Software Developers from lesser-known areas
Love it, thank you! I couldn't get the help screen by '?' though. I can escape the input box with esc, but then '?' will refocus on the search box again.

EDIT: got it now, not sure why it didn't work before
Since models are very good at writing very short computer programs, and computer programs are very good at mathematical calculations, would it not be considerably more efficient to train them to recognise a "what is x + y" type problem, and respond with the answer to "write and execute a small javascript program to calculate x + y, then share the result"?
> understanding mathematics and its proofs not just arithmetic will be the next game changer for LLM

Why?

I definitely agree that such capabilities would represent a major advance (and very likely go together with game changing increases of capabilities in other areas). I also think using AI to write formal math proofs in e.g. Lean is very cool.

However, by itself, it seems like this capability wouldn't be very useful, commercially for example. Do you think this capability is exceptionally informative merely because it has to go together with other capabilities? It's not impossible to have a (maybe somewhat limited) formal math AI that will remain mostly irrelevant to the everyday world (like FormalGeo).
> 2/ Updated all date-sensitive references to year 2024

https://www.chebucto.ns.ca/~ak621/DOS/DOS-UD.html
> If learning durations were log-normally distributed, how would people be able to graduate from universities and finish studies, mostly in time?

By studying an exponentially smaller domain each time round:

* In primary school, study "The life-cycles of animals"

* In secondary school, study "mitosis and meiosis"

* As an undergrad, study "insect reproduction at a cellular level"

* As a postgrad, study "the effect of a particular molecule on the timing of a mosquito's development into sexual maturity"
Or a company does this and sells the meta they learn for a monthly subscription (because as they update this on the company side the meta will change).
If I'd find myself in a place where they do "GOF-driven development" or "Go-driven development" I'd search for another job ASAP.

I don't say what you describe doesn't happen, but it's my impression that most people try to adopt solutions that minimize costs and development time (which also translates to money). 99% of the time it's not "do the best thing to satisfy solve this problem" but it's "solve this problem as fast as possible, without adding additional costs and using as few developers as possible".
Except Linux hasn't really done this for a while. Most things in Linux are managed via some type of message parsing these days anyway - i.e. you don't configure devices - really - by /dev/ entries, instead you use the /dev/ entry as the target for an ioctl call which basically does whatever it wants. It's not really file-like at all.

Then there's network which is configured usefully by netlink, which is another message passing protocol.

It doesn't seem like an accident that we keep reinventing socket-based messaging protocols to manage systems, and just "forgetting" to do it the Plan9 way.
Manually it would do. You can use Raven software to locate the booms.
Also worth remembering that Elixir is now a 'gradually typed system': https://news.ycombinator.com/item?id=38914407