skysight-inc/HackerNews huggingface dataset:
With how trivial generating new addresses in IPv6 is, it'd be cool to have a host block all incoming traffic on its own and have each service that deserves to be reached over the listen on an address unique to the service.
The would be the evolution cause and effect
I wonder if there is something like this but open-source, so I could customize this. I'm looking for a tool to solve UWB positioning (for indoor navigation) - to be able to know where to optimally place various UWB anchor points.
You can install Gnome Software with one command if you don't like snaps. That's a negligible amount of tinkering for the average Linux user.
Just check out the paper's Motivaton section (2).

In ML you can't write something like this:

if e is
...
Lit(value)
and Map.find_opt(value) is Some(result)
then Some(result)
...

where the `...` may include many cases and may contain other Lit cases, so that you would need to refactor the whole expression.

Haskell's pattern guards can do this, but they can't "split" control-flow in the middle of a case, as in:

Lit(value)
and Map.find_opt(value) is Some(result)
and computation(result) is
Left(a) then ...
Right(b) then ...

but these all fall out completely naturally in the UCS.

Also, exhaustiveness Just Works without the need of any type annotation. The system is actually type system agnostic.
Excellent Idea
If you use Azure in any realistic production environments, then it's on you. Even with $100k in free credits, they couldn't convince me to use it for more than a month. It is expensive, the interface is highly user unfriendly and most important of all, their products don't at all seem reliable for production workloads because of stuff like this. Sorry Microsoft, I think you can do much better.
I don't see how the realization could've happened if they're moving back to the office.

I'm not surprised btw, every remote first company I've been in is stuck. I'm not saying it's inherent, but making it work is extremely hard. Imho it makes perfect sense that a company doesn't want to invest into it - it's not a lifestyle business.
Well on the compatibility side of things, tokio has a TON of issues as well. I remember when tokio 1.0 came about, I was forced into a full psychopath mode cause Actix and rusoto were using different and incompatible versions of tokio. And I had to dig 200 layers deep to figure out why something simple such as copying a file to s3 wasn't working....
I've experienced this and I think it's due to skills matrix bingo. You're a junior engineer and to become a senior engineer all you need to do is make a line in the skills matrix. Write a test! Be nice to someone in a code review! Boom! BINGO! Senior engineer.

Of course it's good to know what you need to do to become a Senior. It used to be more wooly but at the same time even the best thought-out skills matrices don't capture what a Senior engineer really is.
But in terms of compute/watt those 10 year old data centers are going to suck and that is what counts for a data center.
I don't believe it's possible at all if any effort is made beyond prompting chat-like interfaces to "generate X". Given a hand crafted corpus of text even current llms could produce perfect style transfer for a generated continuation. If someone believes it's trivially easy to detect, then they absolutely have no idea what they are dealing with.

I assume most people would make least amount of effort and simply prompt chat interface to produce some text, such text is rather detectable. I would like to see some experiments even for this type of detection though.
The same users then revolted at travel sites returning results too fast, so they had spinners to show they were hard at work compiling results.
Causality does not depend on the speed of light. Rather, light travelling in a vacuum happens to travel at the maximum speed of causality.

If light is slower in other mediums, that has no effect on how quickly causation can happen.
> Or maybe not?

This.

It is just slightly more difficult and longer to target it in a large company because you usually have to actually be hired by that company and do not necessarily have the choice of the team/products you will be working on.

But adding backdoors and vuln, yes totally possible on random products that person would be affected to. There is review fatigue the same way there is fatigue in a lot of processes.
python ignores type hints
Now that there's no perfect parity to maintain we've started optimising the Go versions as well. Multiple 2x performance improvements once we started doing this, on top of the original performance improvements. This translates to insane cost savings when you're working at scale.
Or, as an alternative, we try to convince people that geoIP lookups are at best uncertain and at worst actively misleading -- and perhaps shouldn't be taken at face value. I personally think this would be a great thing. For paid services that allegedly need to know where you are geographically located, use your billing address. For advertisers it's one less bit of useful information...
The idea is to sell the dump, this is the case for nearly every dataset you see reported on Have I Been Pwned. I'm not really sure how there is even any question about oh why would anyone do this?
> There is a difference between the two.

Amazon has been ignoring the problem for a long time, and is well aware of it.

They're so aware of it that I'd personally (not a lawyer though) consider them culpable due to their inaction in making any substantial actions towards fixing the problems.
Imagine a world where microtransactions control evertrhing: AI movie
Also check out my other answer here: https://news.ycombinator.com/item?id=41901573
Yeah normal time units still exist in relativity, clocks gotta clock.

But ratber it's that there exists an operation which is almost entirely like rotation, but it rotates x, y, or z into w=ct, where w is measured in meters just like x,y,z are, but t is measured in time units, and c is the speed of light converting between them. Instead of a rotation's formula with sines and cosines like

x' = x cos θ + y sin θ
y' = y cos θ – x sin θ
(x')² + (y')² = x² + y²

relativity has a slightly different set of functions sinh and cosh that are very closely related to sin and cos. (Sine and cosine have Taylor series where the polynomials alternate, sin(x) = x – x³/6 + x^5/120 – ..., and sinh and cosh have the exact same Taylor series with all + signs rather than alternating + – + –.) The analogous expressions are then,

w' = w cosh φ — x sinh φ
x' = x cosh φ — w sinh φ
(w')² – (x')² = w² – x².

This transformation, in relativity, is just built into how any acceleration works. So whenever you accelerate, even in pre-relativistic physics, you expect to see the emergence of some Doppler shifts. In relativity these shifts are not quite as strong as expected from the classical theory, and as a result when you subtract off the Doppler shifts and try to say "what has happened" you get an answer that "the meaning of the present moment, which historically defined a 3D universe frozen at a point in time, identifies a different 3D slice of the 4D spacetime." And this is what "rotates", it's the rotation of the plane that you think is the "present moment".

The fact that you are discretely "you" about ten times per second, I am taking as a fact of biology. But if you try to convert that biology into physics, that's where you convert t into w to get that t=0.1s converts to w = 30,000 km.
A quick Google shows that BSD supports devicetree too. So that leaves... Windows? Don't tell me you're a Windows fan?? That would explain why you love ring -2 binary blobs too.
You could take a look at Obsidian [1], or similar knowledge management tools.
There is certainly a lot of movement in the plugin ecosystem right now, for example the obsidian-canvas-llm-extender [2], which (likely) does what you're asking for.

1: https://obsidian.md/
2: https://github.com/phasip/obsidian-canvas-llm-extender
rto causes the competent people to jump ship and keeps the script readers who won't/can't complain
I am self-hosting ArchiveBox through yunohost, for the odd blog article I come across and like.
Not a heavy user per se, but it's doing its thing reliably.
Here's the thing: you don't really get to see the consequences of your decisions until 3yr after you've made them.

While it's perfectly understandable why you've responded to the changing environment of startups, the lack of holding a position for long enough is a career-limiting move.

It sucks, but the world isn't fair.
Music also generated by AI... :-O
tykhytohtohkytohtyhkhtohyohtyhthkthhtyhytkhtohthyyhthtyohkth
ythktyohktyhoktyhotkyhtokhtyht
hoktyotykhyohkthththtkhthokhythkth
ytktkhtyhokhotyhtyhthktyokhhotphkpto
hkhktyhyhthktyhokthkthk
khoptkhtohphhthyhthkthtkhtyhkot
kopkhtyhopyhkhopkhpthotypohhythhokthophkthkothyh
hhtyhktphkytohkthpthpyhkykhyohkhhhtkhoykhtyohktyoh
thtyhhhoytkhyohkhthoytkhtphoktyoytthythththokt
kophpohhthpotyhptyh
Agreed! One thing I noticed is that the LLM craze seems to have triggered some other developments in only vaguely related fields.

My favourite example is the astonishing pace with which reverse-rendering technology has progressed. It started with a paper by NVIDIA showing projections of 2D photos being "fitted" into a 3D volume of differentiable hashtables, and then the whole thing exploded when Guassian Splats were invented. I full expect this niche all by itself to generate a huge variety of practical applications. Computer games and movie special effects, obviously, but also AR/VR, industrial uses, mapping, drone navigation, etc...
A junior developer gets better every day (hopefully), an AI is a blank slate every time more or less.
PS: there's another point being made on Reddit about cond's right-shift problem: https://www.reddit.com/r/ProgrammingLanguages/comments/1g127...
The total length of the relevant sections of the Southern Cross Cable is 12,135km, as it goes via Hawaii.

The main reason I made my original comment was to point out that the real numbers are more than double what the other commenter called “devastating” latency.

https://en.wikipedia.org/wiki/Southern_Cross_Cable
totally agree. More time spent questionning the students about their work would make AI detection useless...

but somehow, we don't trust teacher anymore. Those in power want to check that the teacher actually makes his job so they want to see wome written, reviewable proof... So the grades are there both to control the student and the teacher. WWW (What a wonderful world).
The difference is that it's not the case that a majority of chemists are ignorant about carbon, or geologists about bedrock, or astronomers about primordial stars or physicists about quarks.

Lisp is like an entire branch of computer science, about which a lot of people in computer science are ignorant.
Not everyone does CRUD applications.
beware of any survey where management asks the questions, answers the questions and then analyses the responses and frames the presentation.
Tbh the same struggle affect proprietary software.

It is more about individual developpers/small teams versus large companies.
Good Parenting is all you need – Multi-agentic LLM Hallucination Mitigation
swub has a lot of interesting and "interesting" interviews ... but pretty much all of them feel rather off and off-putting to me. oddly exhibitionistical, lots of them strike me as made up bullshit by people desperately seeking attention and the guy has something uncanny valley about his "empathy". it's not totally honest like with louis theroux or others but also not fake enough to be entertaining. it's lying somewhere in between and leaves me every time with an unpleasant sensation in my stomach which is why i just can't really watch those interviews longer than 10 minutes. also he is producing them like there is no tomorrow. in short: i don't like the guy.
Usually youll find vendor lock ins because the actual hard part of this isn’t legal, it’s building a user base from non-technical users. And that usually requires having your standard included with platforms they already use.

This is why (for example) Google Drive and OneDrive have become so popular despite Dropbox being first to market.

There’s plenty of other file transfer solutions out there too but you’ll find the un-siloed ones will be lesser known than the siloed ones simply because of the power of $$$
The vacuum has nothing to do with causality.

It's just that light (if there is nothing in its way, so in a vacuum) will travel at the max speed of causality.

Causality violation can happen in general relativity when something moves faster than the max speed of causality (which is the same speed as light in a vacuum).
It’s only just come out, not many have played it yet.
I hope he spends a good long bit in prison
At least the first 2 are far more accurate than humans ever could be. The third, i.e. trusting others to vet and find the correct information, is the problem.
Javascript should introduce integers and structs and it will have 10-100x the performance it has today without spending another $100 billion on VM optimization.
Perhaps a helpful addition: I collected my change money over several years (about 9kg in total, mostly lower valued coins, since the higher values can be spent easily).

After exchanging them on a bank into useful money: the average Euro coin weights about 3.6 grams and has an average value of 7 cents. :-)
This study is not very good frankly. Before ChatGPT there was Davinci and other model families which ChatGPT (what became GPT 3.5) was ultimately based on and they are the predecessors of today's most capable models. They should test it on work that is at least 10 to 15 years old to avoid this problem.
actually I think you are on to something - abstract vectors are the tokens of thought - mentalese if you've read any Dennett.
To me it is not obvious. I work with junior level devs and have seen a lot of non-AI junior level code.
This guy maliciously interfered with ByteDance's LLM project. That is huge news. Millions or billions of dollars down the drain.
How do you handle deadlines and setbacks?
Adding a backdoor is not the difficult part, leaving no trace is.
People don't know who you are on github, but it's easy for top name companies to track who created the backdoor in great detail. Actually the power of tracing real person is one of the the best defenses.
the same here XD
It happens also to proprietary apps maintained by individual developpers / small teams. At least in this case an open source project is easier to fork even if original dev becomes unresponsive/unreachable.
Deno is fixing this with their standard library and JSR.
Usability trumps safety every day.

You can upgrade your compiler to version A. It produces safe code. It also produces 500kB of error messages for each of your source files. You will not ship any new builds until you fix all of them.

Or you can pick version B. It compiles all your code with only few errors. It also supports opting-in to multiple safety features.

If your salary depends on your software project, which will you pick?
Finally a Digital Nomad article focused on the real important part: not working.

Somebody has got to pay the taxes so these guys can surf all day, edit the GoPro footage in the night, and eat at all the tourist traps.
Hardened container images
> As the author explains above, being a senior engineer does not require a specific title. It is a mindset, an understanding reached not by years but by enlightenment.

And who is capable of recognizing enlightenment in a land where the blind lead the blind? This is an industry where novices who have been programming for 16 weeks sum total are elevated to the level of "senior engineer" for political reasons or for compensation and then, on the basis of this titling, are put on hiring committees and then considered qualified enough to judge the merits of another - who may have been a total weeb shut-in and already put in 30000 hours of obsessive programming but doesn't conform to the whitewashed, diluted, Big Bang Theory-esque cultural notions of what a geek is supposed to look like because they don't abide by Caucasian heteronormative standards of how geeks are supposed to take 30 second reels or themselves writing JavaScript in VSCode.
Please ping me in 5 years to reassess. I'm ready to bet 1 month of my salary that human software developers will still exist then.
That's the point is that it's up to the shell to make sure that you don't use your work if you do the wrong thing. Could be as simple as prompting you to make sure -- "Overwrite <filename>? [yn]: " -- or could be something where the old inode is still available under some magic path for a few more commands, or could be that you use special syntax for the command, like "@<path>" is the stdin/stdout command form for the path... or it could be something else entirely, really.

For an instance where there are thousands of bash scripts out there that work around a case where `abc >file` does not work, consider the times when you want to write to a file which you don't have write permissions to, with sudo. my favorite way to do this is with `tee` but I have also seen others: but `>file` is not one of them! Because it's emphatically not part of the algebra of the rest of the shell; the rest of the shell is written in pipes, this one command says "I'm going to make your pipeline terminate, this step will be un-pipeable."

For another example where the algebra doesn't consistently handle the whole system, consider that in a normal language you would consider writing a function which returns a value and also prints debug logs to the process's stdout. Bash can't do this on its own, you have to figure out which /dev/tty is attached to the process and then write your debug log to that TTY, and then your script probably fails in interesting ways when it itself is redirected to a file and there is no TTY that it is attached to anymore...
it's not FOSS or not. Basically, who owns it or who pays for it. People have interest and people need earnings to live. Business is business.
that's amazing, I'll look them up! I hadn't realised they were that open, I assumed everybody was repairable like framework (i.e. pray they don't go under).
Standards change. Before paid sick leave was common, people would've laughed you out of the room for even suggesting it - "you're saying I should be paying you for doing nothing just because you got sick? I didn't make you sick, how is that my problem?". But now we all (hopefully) agree it's one of the basic worker's rights.

If all I do is press buttons on a keyboard all day, there is no reason I should have to be in the office for that. Entitlement would mean expecting something unreasonable - WFH for programmers etc. is reasonable. People have been asking for it for years and companies refused. They were forced into it and the world didn't end. Why shouldn't we keep it? The only people forced return to office benefits are the middle managers "overseeing" the people doing the actual work.
"Why is it that almost always "VC funding" turns everything into bullcrap?"

Because the goal of capital is more capital. Doing ethical things and contributing to commons doesn't align with such goal.

So every time "investors" arrive the outcome is known.
Not everybody's job is necessarily as simple as yours.
A fork of syncthing had been in development and released for a while though, so use of keepass isn't really getting harder unless this developer also pull the plug.
https://f-droid.org/en/packages/com.github.catfriend1.syncth...
Yeah that one.
You can already do that easily with ChatGPT. Just tell it to rate the text it generated on a scale from 0-10 in authenticity. Then tell it to crank out similar text at a higher authenticity scale. Try it.
Wait until you hear Waymo has people ready to step in with remote controls at all times.
The GPU main advantage is its parallelism - thousands of cores compared handful of cores in CPUs.

If you're training models with billions of parameters, you're still gonna need that.
TL;DR: An introduction to Rust which starts with a Rust-unsafe C program, writing a Rust equivalent, then evolves it towards some of the higher-level abstractions in Rust.

(As opposed to the non-dangerous way which means writing safe code to begin with and mentioning unsafe as the exception)
Guns are legal in almost every country - I think your problem is with countries that have almost no restriction on gun ownership. e.g. Here in the UK you can legally own a properly licensed rifle or shotgun and even a handgun in some places outside of Great Britain (e.g. Northern Ireland).
Ah yes, because microsoft never had a leak right?

I can absolutely not go on the internet and download the source code for windows, because microsoft's security is impeccable.
Consumer softwares in the current environment can probably only live a few years at most (if you count security in, probably months) without maintenance. The author's decision to pull it from play store is very sensible and should be appreciated.
The Serengeti Plain: Fallacies that aren't fallacies
the students are too lazy and dumb to do their own thinking and resort to ai. the teachers are also too lazy and dumb to assess the students' work and resort to ai. ain't it funny?
https://chatgpt.com/share/671604db-7ff0-8001-840e-960abfed0b...

Note the added section compared to the leetcode question (https://leetcode.com/problems/two-sum-ii-input-array-is-sort...) is "And note also that index1 + 1 == index2."

If you enter that into 4o it'll just keep repeating leetcode 167 answers and insist binary search has nothing to do with it.

tangent: o1-preview isn't going to invent things quite yet (i tried to get it to come up with something original in https://chatgpt.com/share/6715f3fe-cfb8-8001-8c7c-10e970c7d3... via curiosity after watching https://www.youtube.com/watch?v=1_gJp2uAjO0). but it can sort of reason about things that are more well-established.
I think it’s a case of this not fitting your use case.

It wouldn’t replace reading the front page for me but I could really see it replacing a podcast on my morning walk. Especially given the absence of news spin or adverts. I’ll definitely be giving it a try tomorrow.
Hi, I know that a good action is always punished but I found this project on KS and honnestly it touchs me. I'll share it, help me too!
Hanlon's razor comes to mind

https://en.m.wikipedia.org/wiki/Hanlon%27s_razor
In general relativity, FTL can be used as a time machine.
the read/echo loop will not handle nulls

the command substitution will mangle ending newlines
I see lots of generated content with AI, would be interested how much of this is actually listened by a real human after the first days of excitement.
Azure is... getting there. Slowly.

The Portal now loads for me on IPv6, which then blocks me from accessing certain PaaS resources because they only work with IPv4 rules in their firewalls.

Speaking of which, it grinds me gears that every Azure PaaS service implements firewall rules in a unique and special way. The syntax is different, the parameters are different, the capabilities are different, and the output logs are also incompatible just for extra fun.
Are you then plagiarising if the LLM is just regurgitating stuff you’d personally written?

The point of these detectors is to spot stuff the students didn’t research and write themselves. But if the corpus is your own written material then you’ve already done the work yourself.
Even in countries with strong labor laws this would still be perfectly allowed if the original contract didn’t say remote.