skysight-inc/HackerNews huggingface dataset:
> Especially as a teacher, you get used to seeing the, uh, quality of work that gets produced.

There was a time when I had to discuss a paper that was too well written with a student. The paper was too well written in both my eyes and the eyes of others. The student told me which journals they read and explained they read it for both content and style. Were they cheating? Perhaps. On the other hand, I have never encountered a cheat who cared enough to make it look like they cared about how they approach learning.
There's an awful amount of cheating going on. In certain environments, there's a > 50% chance that an essay was not written by the student.
> [...] when it would just be ‘class Foo<T>’ in almost any other language.

Good news on that front at least. PEP-895 [1] removes the need for `T = TypeVar(...)` boilerplate in Python 3.12.

[1] - https://peps.python.org/pep-0695/
Unreal Engine could be said to do "real stuff" and their release notes are quite similar and very expansive. There is no names attached to anything, if I recall correctly, but otherwise the release notes they do are similar.
Life in the age of mass lay-offs
https://archive.is/2GjOz
I'm in the UK, so that might not be particularly helpful for you.

I currently buy green beans from https://www.pennineteaandcoffee.co.uk/ as they're cheaper than other places that I've found. I used to buy (and still do on occasion) from https://www.hasbean.co.uk/ which I can heartily recommend. Their roasted beans are excellent too and I love the information they provide about the individual growers.

In terms of beans, I tend to go for Asian coffees such as Monsoon Malabar, Indonesian or Thailand (tends to be difficult to find).

Here's an example of a fermented Thailand coffee that doesn't muck around when it comes to flavour or aroma (a friend complains that it smells of cat pee): https://www.hasbean.co.uk/products/thailand-22-114

I usually buy around 8kgs of green beans at a time to qualify for free delivery and the advantage of green beans is that they keep much better (months at least). It's when you roast them that beans should be consumed with 2-3 weeks or so depending on how fussy you are about staleness. It's when beans are ground that they go stale extremely quickly, so ground coffee from a supermarket will inevitably taste a bit stale despite having it in a fancy air release bag etc.
This is a fantastic demonstration of how accessible all this stuff is these days. Polish used to be the let down on DIY projects like this but 3D printers (for the case) have really moved the needle when it comes to high quality prototyping. I know this has been the state of things for nearly a decade now, but it still amazes me. Raspberry Pi, Arduino, 3D Printers, and the open source hardware community, will mark a paradigm shift in prototyping accessibility in the history books.
This reminds me of learning Haskell…

Having transitioned from Java to Python, because the type system in Java had very little bang for the buck, I was under the wrong impression that types sucked and dynamically typed languages were superior.

Boy was I wrong about that.

I of course don’t try to import all the structural or semantic haskellisms into other languages, but just recognizing the immense value you get from typing your inputs and outputs has changed the way I program.
Damage to the road scales with weight to the fourth power. Fuel use does not go up that fast with weight. Also, it does nothing for the incredibly large and heavy electric vehicles coming out like Rivian and Hummer.
Foundation series (Asimov)

Stainless Steel Rat series (Harrison - a bit juvenile, but fun)

Dune (Herbert)

The Moon is a Harsh Mistress (Heinlein)

Stranger in a Strange Land (Heinlein)

Starship Troopers (Heinlein)

A Scanner Darkly (Dick)

Do Androids Dream of Electric Sheep? (Dick)

The Hitchhiker's Guide to the Galaxy (Adams)

Childhood's End (Clarke)

Robot series (Asimov)

Bicentennial Man (Asimov)

Brave New World (Huxley)
> You mean make a hosted dragonfly a service you provide?

Yes, why not ?

> (I'm not sure why the €10 matters - maybe I'm missing something)

That's a standard fee members pay to cover expenses the org may have

> Yeah, that's exactly the point of that licence. You can do it in 5 years if you want.

Good! At least there's a recognition of not being of public service and not doing this for everyone but only for themselves. I wish they chose another license, but it's a start
Windows may not have taken advantage of the 64-bit CPU in these machines, but other operating systems of the time certainly did.

OpenBSD/alpha was a 64-bit only port (LP64) to the DEC Alpha machines, started in 1996 and remains supported today. OpenBSD/alpha even made several of the early printed CD-ROM releases and can be seen on the cover art.

https://www.openbsd.org/alpha.html

https://www.openbsd.org/artwork.html

https://cdn.openbsd.org/pub/OpenBSD/7.3/alpha/INSTALL.alpha
Yes millions of people across multiple countries/continents all secretly colluded to execute this poorly thought out plan that works in a "stars align" scenario.

Or you are just using your worldview narratives to explain events that have simpler explanations in line with evidence ?
I certainly understand this sentiment. I am building a general-purpose data manager that has many relational database features. It can do a number of things better and much faster than conventional databases. It is currently in beta and available for free download.

But I would be shocked (and worried) if someone tried to use it as their primary database in production. It just doesn't have enough testing yet and is still missing some features.

Instead, I am promoting it as a tool to do tasks like data analysis and data cleaning. That way it gets a good workout without causing major problems if there is a bug.

https://didgets.com/
The problem isn’t that the 30% rule isn’t a good idea anymore. The problem is that for so much of the population it isn’t realistic anymore.

Also I wouldn’t be surprised if a terms like housing stress based on the 30% rule is part of official terminology. So it can be used for discussing rental rates, morgage prices and legislation.

Looking at averages like you propose isn’t useful if something bad impacts a whole population.
Too bad operating systems allow full internet access for applications that shouldn’t. Hopefully this security feature will one day be implemented in popular operating systems.
The idea of teachers working "after school" is awful (see Breaking Bad), but relying in part on your spouse's income is expected.
The official name for the model has always been GPT-4. OpenAI has not used the term ChatGPT-4.
BTW, the GitHub profile of the repository owner points to a sketchy website [0] which looks somewhat plausible from the first glance, but then more like a content stub on a closer inspection.

[0] www.unicomedv.de

Update: the reason I think it is more a content stub than a real thing is because there are no trial downloads available for theirs desktop products, and that's a red flag. Some site sections like "Office 365" represent a total nonsense with buttons leading nowhere. The pricing page has gray-on-black text elements, so looks clearly deoptimized for performing any real conversions. The whole site gives a strong fly-by-night vibe.
I’m using Strongbox also.
Even better would be to try F#, it will be able to use all the .NET libraries, has Python's succinctness, but with a strong type system (and inference).
When you need to paint other views of “us versus them” instead of discussing the idea itself. What does this say? It says echo chamber that’s afraid of actually discussing an idea on the proven merits.
Is "rear view mirror" a joke, or maybe just a lower res cheaper camera pointing backwards, or maybe this leak isn't legit?
Either way, looking forward to seeing the headset!
Dr. Sanjay Gupta: Parenting in the era of ubiquitous screens and social media
The os can tell you a checksum in the settings page or before installing.

Or you can build from source and confirm on your own.
I personally use private ones. The existing public ones seem like minefields atm.

If you don’t want to put the effort into getting invites, I’d just recommend Usenet at this point. No politics from mods, or invites, just a monthly payment.
I can’t find it, but somewhere, I think in the EWDs but maybe it was a book, I saw Dijkstra discussing the way the implicit stack makes “recursion”[1] as the term is usually used appear somehow privileged. When thinking about algorithms and data structures it’s better to be explicit about your use of a stack, queue, heap, or any other data structure. Also of course some algorithms are considerably more elegantly implemented with two explicit stacks rather than one explicit and one implicit.

[1] scare quotes because recursion is better thought of as a property of data structures than of algorithms and a stack is hardly the only available tool for working with recursive structures.
My recollection is a bit vague, but I reckon it was not so much the html as what outlook was doing to the html.
It is a joke, didn't you see the "tin-foil" hat phrase? But there to get people thinking abut the why as opposed to the what.
current situation in isolation doesn't mean anything for the future. Statistics based on history and current conditions are given to predict the future. Current population of teachers might have bought house long ago or they might have inherited the house.

Fact remains, 90% of teachers can't afford buying a house with their current salary and market conditions.
I round down because dishonesty hurts me more than them.

Most of the time, my clients ask me to pad my hours, to charge for things like driving to a meeting or times that I'm just reading a book, stuck on a project.

There's the clients who will try to take advantage of you and there's the ones who love being generous. If you're generous with people you work with, you end up working with the people who would be generous to you.
If teachers are not meaningfully different from the rest of similarly situated citizens, then raising teacher pay alone isn’t the answer. (Maybe building more housing is.)
Nextcloud – Online Collaboration
To those saying that there aren't alternatives to Big Tech.
A close acquaintance of mine just quit her job as a community college writing instructor because of chatGPT. Everybody is using it and it’s difficult to prove so it’s made her job impossible. I think students in general would lose a lot if we “adapted” writing class into prompt engineering class. Writing is as much about organizing your thoughts and assembling an argument as it is about putting words on a page. No amount of prompt engineering training is going to teach that. The only solution I see is making all assessment in class.
This article for its own purposes talks about teachers but the main even in the country at the moment is the housing cost crisis currently affecting everyone, whether there is actually some special short changing of teachers I don't know but it is not evidenced by the 'can't afford to live in xyz' illustration, because currently you could write some variation of that about a swath of sectors.
Seems like an interesting channel in general, thank you!
Could you do the stupid thing and have openai et al offer an API that, given text (or a hash of some text) returns whether that hash was generated by the service? Some 3rd party companies specialize in cheat detection and pay for the API then get paid by schools or whoever to detect detect cheaters.

Difficulties I can think of:

* Getting ai companies to offer this. I don't think it comes with a downside for them really though. You couldn't use it to actually retrieve results in any way, and you wouldn't have prompts.

* This only detects exact matches, people changing the output would defeat it. Fixable with some kind of fuzzy search that returns a 'distance to nearest response' but this obviously makes it more expensive and difficult to run, use, etc.

* People could still run the model themselves, as models get better and more expensive maybe this becomes less of a problem. Or maybe models get small enough while still generating good output that it becomes more of a problem. Who knows.

At least this would avoid AI grading AI issues
This is called "the fixed pie fallacy". There is not a finite amount of dollars to made. There is more money now in the world than there was in 1990 or 1970, and more total value too, adjusted for population.

Wallstreet also has nothing to do with Australian teachers.
Yes, and consider the "kids having a semblance of independence" rate in the 40's too.
Yeah. It’s the wrong argument, really. Economics isn’t a charity. You can’t really argue “I deserve to be paid more!” (Unless you’re not into capitalism, which is valid)

I think the more valid foundational argument is whether or not the government is incorruptly ensuring the system is functioning equitably.

That is: the solution to this perceived problem isn’t to tip the scale. It’s to ensure the scale isn’t being tipped.
The problem is that percentages still only go up to 100. If housing now costs a larger percentage of people's income, plus everything else is more expensive too, that's a huge problem, and a noticeable decrease in standard of living.
That doesn't make sense. If the parents actually get more productive they can afford paying (e.g. through tax) higher teacher salaries.
>Yes, this is my primitive understanding of economics. just like first law of thermodynamics, which states: "energy can neither be created nor destroyed, only altered in form".

How do you explain the insane growth in wealth from a few hundred years ago, where we lacked indoor plumbing to today where everyone has a supercomputer in their pocket? Clearly, wealth isn't something that's zero sum, and I'd rather live in a world where I owned 0.0001% of all the wealth and have an iPhone, than one where I owned 0.001% of all the wealth but I'm dying of cholera because I don't have a clean source of water.
The Trend Micro report[1] (linked in TFA) and the paper on residential proxies[2] mentioning hijacked IoT devices makes me wonder whether the people shouting on HN and elsewhere about Cloudflare blocking their internet access are actually victims of a similarly malicious IoT device operating on their network.

[1] https://www.trendmicro.com/en_us/research/23/e/lemon-group-c...

[2] http://staff.ustc.edu.cn/~xmi/files/resi_paper.pdf
Yup, I've seen that, and I've been in communication with Joseph and Maurice about one or two things recently.
We may or may not be able to detect whether LLMs wrote something, but I'd bet my life savings that when an administrator at the department of agricultural sciences and natural resources asks ChatGPT whether a particular essay was written by GPT, there will be significant numbers of false positives and false negatives.
A solution to preventing cheating by use of calculators on homework is to make people show their work. So, obviously, we should make students turn in written work with their full undo buffer attached.
https://www.clockworkpi.com/uconsole
Facebook parent in talks with Magic Leap over augmented reality deal
https://archive.is/hAi2D
Hi Vlad! Kagi subscriber here. Been thinking about this since Neeva dropped that, and I think bootstrapping is why you’re still running and they aren’t. Good luck!
The Red Queen or Genome by Matt Ridley

The Vital Question or Life Ascending by Nick Lane

The Gene by Siddhartha Muhkerjee
I thought we were talking about death rates?
The New Bar Exam Puts DEI over Lawyer Competence
Could you please try to probe him on this topic?
> And one perfectly reasonable way of interpreting that bit of raw text is that the answer to "How many chapters are in The Haj by Leon Uris?" is "11".

Only if you can write a sonnet that is also a haiku!
That's not at all a correct conclusion from the article, but the headline wants you to reach it.
I always wonder what the breakdown of these administrative costs look like. Is it personnel, is it suppliers fleecing school districts, or is it as simple as everything having got more expensive (eg. building maintenance, janitors, transport etc).
Seems like a culture problem more than a scaling problem.
It does handle HTML, but it'll look different from what people reading email in Firefox etc. see. So just like with eww.

(Also, Outlook has MS-specific niceties like replying directly to Teams messages from within an email without having to start up Teams, which I assume they made as a workaround for how long it takes to start up Teams and pick the right organisation and wait for it to tell you to log out (since your account is still connected to that one organisation that long ago invited you for a single meeting and only org admins can remove users) and then hit reload since that sometimes works and then pick the right organisation again and then reply "OK" and then quickly exit Teams before your computer runs out of memory and grinds to a halt.)
if the TV supports DLNA you can play stuff on the TV via DLNA, controlling Jellyfin (which is controlling your TV) via phone or tablet.
>The implied problem of "if the pay for our most important and meaningful jobs approach zero, wouldn't there be no one to do it?"

That is not the implied problem.
> And, since the real value in communication is the information contained, that puts a fairly low ceiling on the value of their output. ...then it can never truly replace people in any role where correctness matters and that's most of the roles with a lot of economic value.

I think the thrust of your argument is correct: tasks where correctness matters are inherently less suited to AI automation. But I think that's more a matter of trying to use an LLM for a job that it is the wrong tool for. I think there are many economically valuable roles that are outside of that limited zone, and there will be a lot of people using AI for what AI is good at while the rest of us complain about the limitations when trying to use it for what it isn't good at. (I do a lot of that too.)

Which is probably a waste of time and energy that could be better spent learning how to effectively use an LLM rather than trying to push it in directions that it is incapable of going.

I haven't played much with LLMs yet, so I personally don't have a great sense for what it is good at, and I haven't come across anyone else with a good rundown of the space either. But some things are becoming clear.

LLMs are good at the "blank page" problem, where you know what you want to do but are having a hard time getting started with it. An LLM-generated starting point need not be correct to be useful, and in fact being incorrect can be an advantage since the point is what it triggers in the human's brain.

LLMs are good at many parts of programming that humans are weak at. Humans tend to need to have a certain level of familiarity and comfort with a framework or tool in order to even begin to be productive in it, and we won't use more advanced features or suitable idioms until we get into it enough. An LLM's training data encompasses both the basic starting points as well as more sophisticated uses. So it can suggest idiomatic solutions to problems up front, and since the human is deciding whether and how to incorporate them, correctness is only moderately important. An incorrect but idiomatic use of a framework is close to a correct idiomatic use, while a human-generated correct but awkward use can be very far away from a correct idiomatic use.

Image generation seems similar. My impression is that Midjourney produces good looking output but is fairly useless when you need to steer it to something that is "correct" with respect to a goal. It's great until you actually need to use it, then you have to throw it out. Stable diffusion produces lower quality output but is much more steerable towards "correctness", which requires human artistic intervention.

So there seems to be a common theme. Something like: LLMs are highly useful but require a human to steer and provide "correctness", whatever that might mean in a particular domain.
How is an error from an LLM less correctable than one from a human? If "Paris is the capital of Germany" makes it into a news article, how does the origin of the error impact its correctability?

Reinforcement learning seems pretty analogous to how we correct people who are wrong about something. I'm really not seeing a category difference here?
My analogy’s convoluted and contrived logic perfectly captures yours.
All foundational to society and more "productive" industries. There seems to be a misalignment.

If industries were personas arguing at a table, Instagram demands pay and threatens to turn off Instagram immediately. Teachers damand pay and can only threaten to destroy society in 50 years. Psychologically, Instagram's threat is a lot more usable, because teachers don't want to pull the trigger on ending society.

In other words, Instagram has a more direct and immediate way of demonstrating value than teachers do.
Serverless Functions and Edge Databases
Why bother then? Using this as a component makes you enter the "a substantial set of the features or functionality of the Licensed Work to third parties as a software-as-a-service, platform-as-a-service, infrastructure-as-a-service or other similar services that compete with Licensor products or services" zone, and it can be interpreted in any way. How do you make sure your product isn't a derivative and is different enough for lawyers?
I have been coding collaboratively with GPT-4 extensively for the last few weeks using aider [1]. Prior to that I had been using an ad hoc workflow to code with GPT-3.5. Here's are some thoughts on my experience collaborating with AI on code:

- Use GPT-4. It's vastly better than 3.5.
- Use an integrated workflow like copilot or aider. Cutting and pasting code between your editor and a chat window/tool is tedious, and doesn't give GPT any context about the rest of your code. It forces you to do extra up front work to prepare your code to call a bite-sized function that can be easily cut/pasted. Asking GPT for revisions is slow with more cut/paste at every step.
- Coding with AI lowers the activation energy to start a new change, since you expect it to be easy.
- GPT is a champ at boilerplate, and can quickly prepare the ground for the interesting work.
- Typing a few terse, informal sentences describing the task to GPT can help organize my own thinking.
- I spend so much less time fiddling with annoying details of syntax, method names, parameter names/order, regex syntax, etc.
- It's important to break down a big change into a series of smaller, self contained steps.
- Watching GPT type out code is good "think time" for me.
- GPT is great at "busy work" like updating docs, adding small quality of life features, writing tests, etc. I accomplish 10x as much of this work now because it's so easy to just ask for it.
- GPT has astounding knowledge about available libraries and packages that can simplify your task.
- Expect to iterate rapidly with GPT on more complex code changes, offering it feedback/direction.

I'm not sure I can go back to coding the old fashioned way. I realized this when GPT-4 went down for an hour or so last week.

[1] https://github.com/paul-gauthier/aider
rust is too hard to use for me, if I need pick up a modern language for low level it will be zig instead of rust.
while rust might be fine for MCU low level embedded, it does not work for mid-range embedded linux when you have 64MB storage for example, as rust is by default static linked, a few of rust executable will fill up the storage, unlike c or c++ or zig where they can share some libraries _easily_ to save space.
Paris’s Centre Pompidou to Close for Five Years Starting in 2025