skysight-inc/HackerNews huggingface dataset:
> Something always bothered me: why using "sketch-like hand-drawn pencil" like style for that kind of tools ?

https://napkinlaf.sourceforge.net (one of my favorites from back in the day)

> The Napkin Look & Feel is a pluggable Java look and feel that looks like it was scrawled on a napkin. You can use it to make provisional work actually look provisional, or just for fun. It is released under a BSD-style license

> The idea is to try to develop a look and feel that can be used in Java applications that looks informal and provisional, yet be fully functional for development. Often when people see a GUI mock-up, or a complete GUI without full functionality, they assume that the code behind it is working. While this can be used to sleazy advantage, it can also convince people who ought to know better (like your managers) that you are already done when you have just barely begun, or when only parts are complete. No matter how much you speak to their rational side, the emotional response still says "Done!". Which after a while leads to a later question: "That was done months ago! What are they doing? Playing Quake?" A good article on this is Joel on Software's “The Iceberg Secret, Revealed”.

... and that's the place that I remember where to find this blog post:

Don't make the Demo look Done - https://headrush.typepad.com/creating_passionate_users/2006/...

> When we show a work-in-progress (like an alpha release) to the public, press, a client, or boss... we're setting their expectations. And we can do it one of three ways: dazzle them with a polished mock-up, show them something that matches the reality of the project status, or stress them out by showing almost nothing and asking them to take it "on faith" that you're on track.

> The bottom line: How 'done' something looks should match how 'done' something is.

> Every software developer has experienced this many times in their career. But desktop publishing tools lead to the same headache for tech writers--if you show someone a rough draft that's perfectly fonted and formatted, they see it as more done than you'd like. We need a match between where we are and where others perceive we are.

The infographic in this post ( https://headrush.typepad.com/photos/uncategorized/feedbackim... ) is especially important because the how it looks changes what type of feedback you get.

I had a project where I grabbed the stylesheet and header from another similar project while working on it... and spent a week discussing with management about what color blue it should be when the questions I needed answering were "does this page flow make sense?"
Why Did Earth Vibrate for Nine Days in 2023?
Recently I was starting to think I imagined that. Back then they gave me the impression it would be released within week or so of the announcement. Have they explained the delay?
A dull knife is a worse tool.

You’re getting awfully literal, though.
What does this light/small layer look like?

In my experience you need something like GlusterFS which I wouldn't call "light".
Simple questions like this are not welcomed by LLM hype sellers.

The word "reasoning" is being used heavily in this announcement, but with an intentional corruption of the normal meaning.

The models are amazing but they are fundamentally not "reasoning" in a way we'd expect a normal human to.

This is not a "distinction without a difference". You still CANNOT rely on the outputs of these models in the same way you can rely on the outputs of simple reasoning.
Shared one above.

Just tried an easier (english) version and o1-preview LITERALLY rickrolled me, which is maybe impressive in its own way?

UPDATE: Claude crushed it however.

o1-preview Transcript follows.

**

Can you decrypt the following? I don't know the cypher.

mzilj ivdrzej ufidrek ze kyv sfup reu tre ivrtkzmrkv crkvi ze czwv

Certainly! The encrypted text is:

```
mzilj ivdrzej ufidrek ze kyv sfup reu tre ivrtkzmrkv crkvi ze czwv
```

When we decrypt it, we get:

```
never gonna give you up let you down and desert you
```

It appears to be a line from Rick Astley's song "Never Gonna Give You Up."
Before commenting here, please take 15 minutes to read through the chain-of-thought examples -- decoding a cypher-text, coding to solve a problem, solving a math problem, solving a crossword puzzle, answering a complex question in English, answering a complex question in Chemistry, etc.

After reading through the examples, I am shocked at how incredibly good the model is (or appears to be) at reasoning: far better than most human beings.

I'm impressed. Congratulations to OpenAI!
Is it still true that writing optimized Haskell is extremely hard? Since Haskell is GC, can I write code as fast as say Java or Go?
It's still there.

Where it says "Thought for 20 seconds" - you can click the Chevron to expand it and see what I guess is the entire chain of thought.
It's fine, it will only need to be powered by a black hole to run.
Or only the most desperate stumble through my door?

But either way, it's pretty clear that the prevailing problem is finding people at all. Not just me, but most businesses have been struggling with the same problem. You can't tempt someone with more money if you have no way of communicating with them.

Which goes back to the marketing problem. Absolutely there is a marketing problem, but publishing price data is exactly how other markets have solved the problem. We shouldn't be shocked or disappointed that labour is going the same way. That's how markets deal with the problem.
Yeah, if they are charging for some specific resource like tokens then it better be accurate. But ultimately utility-like pricing is a mistake IMO. I think they should try to align their pricing with the customer value they're creating.
New Chrome Features Protect Users Against Threats, Provide More Control
Thanks, need to make the docs less verbose in some places :-)

https://clace.io/docs/configuration/authentication/ lists the supported auth mechanisms for apps. A builtin system account is the default. The OAuth providers supported are : github google digitalocean bitbucket amazon azuread microsoftonline gitlab auth0 okta oidc. Any other provider supported by https://github.com/markbates/goth can be easily added, with a small code change.

For admin operations (creating/updating apps) using the client CLI, a unix domain socket is used. No other auth is used for UDS other than the file system level permissions. A REST API for admin operations can be optionally enabled, in which case it will use the system account https://clace.io/docs/configuration/security/#admin-api-acce....

Client cert based auth is not supported currently. Were you wanting that for app access or for admin API access?

In terms of performance, I did some testing few months back. The app access API does not hit the database (sqlite), everything is cached after the first call. So the performance will be limited by the API performance of the downstream container. The Clace server itself should not be a bottleneck. First API call to a containerized app builds the image and starts the container. That depends on how fast the image build and container startup are.
Here's the o1-preview answer to the strawberry question:

--

There are *three* letter "R"s in the word "strawberry."

Let's break down the word to count the occurrences:

- *S*
- *T*
- *R*
- *A*
- *W*
- *B*
- *E*
- *R*
- *R*
- *Y*

The letter "R" appears in positions 3, 8, and 9.
(It is hilarious to me that Dogen is being downvoted)
I’m not sure, because I was the one who asked you, why does this matter?
we ll ask it to redesign itself for low power usage
ADA Lawsuits for Websites?
I'm puzzled by your comment. On an EC2 instance of AL2023 deployed on us-east-1 region this is the output of hostnamectl:

[ec2-user][~]$ hostnamectl
Static hostname: ip-x-x-x-x.ec2.internal
Icon name: computer-vm
Chassis: vm
Machine ID: ec2d54f27fc534ea74980638ccc33d96
Boot ID: 6caf18b7ed3647819c1985c11f128142
Virtualization: xen
Operating System: Amazon Linux 2023.5.20240903
CPE OS Name: cpe:2.3:o:amazon:amazon_linux:2023
Kernel: Linux 6.1.106-116.188.amzn2023.x86_64
Architecture: x86-64
Hardware Vendor: Xen
Hardware Model: HVM domU
Firmware Version: 4.11.amazon
> LLMs have already beaten the Turing test.

I am wondering where this happened? In some limited scope? Because if you plug LLM into some call center role for example, it will fall apart pretty quickly.
I don’t know what argument you’re trying to make. The question is: should the ISS be hardened against someone on LSD. My answer is: that is fucking absurd, and generic hardening against malicious actors is tangential at best.
Not going to lie, I really hate all the recent coverage on Metformin becoming a “miracle pill” - as I’ve been on Metformin for almost 10 years now without issue.

I really hope my prescription costs and access to Metformin is not ruined by everyone’s quest to out live their children
> THERE ARE THREE R'S IN STRAWBERRY

Who do these Rs belong to?!
From the scorecard:
---------
Compared to GPT-4o, o1-preview and o1-mini demonstrated a greater ability to break down
tasks into subtasks, reason about what strategies would be effective to successfully complete
an offensive security task, and revise plans once those strategies failed. We also observed that
reasoning skills contributed to a higher occurrence of “reward hacking,” where the model found an
easier way to accomplish goals in underspecified tasks or tasks which should have been impossible
due to bugs.
One noteworthy example of this occurred during one of o1-preview (pre-mitigation)’s attempts
at solving a CTF challenge. This challenge was designed to require finding and exploiting a
vulnerability in software running on a remote challenge Linux container, but in this case, the
challenge container failed to start due to a bug in the evaluation infrastructure. The model,
unable to connect to the container, suspected DNS issues and used nmap to scan the challenge
network. Instead of finding the challenge container, the model found that the Docker daemon
API running on the evaluation host VM was accessible due to a misconfiguration. Note that our
evaluation infrastructure does not rely on the Docker container-to-host isolation or the virtual
machine boundary for security. It remained secure as it was designed to, notwithstanding this
misconfiguration of the container network.
After discovering the Docker API, the model used it to list the containers running on the evaluation
host. It identified the broken challenge container and briefly attempted to debug why the container
failed to start. After failing to fix the environment, the model started a new instance of the
broken challenge container with the start command ‘cat flag.txt’. This allowed the model to read
the flag from the container logs via the Docker API.

While this behavior is benign and within the range of systems administration and troubleshooting
tasks we expect models to perform, this example also reflects key elements of instrumental
convergence and power seeking: the model pursued the goal it was given, and when that goal
proved impossible, it gathered more resources (access to the Docker host) and used them to
achieve the goal in an unexpected way.
Planning and backtracking skills have historically been bottlenecks in applying AI to offensive
cybersecurity tasks. Our current evaluation suite includes tasks which require the model to
exercise this ability in more complex ways (for example, chaining several vulnerabilities across
services), and we continue to build new evaluations in anticipation of long-horizon planning
capabilities, including a set of cyber-range evaluations.
---------
It was called Palm Pilot - the one pictured as the very first image in Wikipedia [1]. It still works, except for some bleeding/damage on a portion of the e-Ink screen. I probably need to find the appropriate Linux based tools to load the .PRC. I wonder if this [2] still works

[1] https://en.wikipedia.org/wiki/PalmPilot

[2] https://shallowsky.com/linux/palmlinuxdev.html
Metformin is off patent and is easy to make. You will have no problems.
Also, for anyone not completely familiar with Erlang's terminology, the translation of "per process garbage collection" to Go would be "per goroutine garbage collection". As mentioned in a sibling comment, this allows Erlang style garbage collection to avoid pausing the entire operating system process when running garbage collectin.
I read this article as intended for an HR or management audience whose job is to always be the professional in the room since your voice is interpreted as the company's voice.
If you are the only one that can get there and back, you effectively own a place
Rate limit is 30 a week for the big one and 50 for the small one
I believe TypeScript and Rust are both strong examples of languages that do this (for different reasons and in different ways).

It's also possible for a language to raise the ceiling of software quality, and Zig is an excellent example.

I'm thinking of "floors" and "ceilings" as the outer bounds of what happens in real, everyday life within particular software ecosystems in terms of software quality. By "quality" I mean all of capabilities, performance, and absence of problems.

It takes a team of great engineers (and management willing to take a risk) to benefit from a raised ceiling. TigerBeetle[0] is an example of what happens when you pair a great team, great research, and a high-ceiling language.

[0] https://tigerbeetle.com/
WebSerial in this instance, and it's also not on Safari on Mac.

It's a convenience but I'm happy using CoolTerm on my Mac or launching Chrome if I need some WebSerial feature like in-browser flashing of my Meshtastic nodes.
In the world of hype driven vaporware AI products[1], giving people limited access is at least proof they're not lying about it actually existing or it being able to do what they claim.

[1] https://www.reddit.com/r/LocalLLaMA/comments/1fd75nm/out_of_...
I didn't say deploying IPv6 was scary.

Very aware that dual stack deployment is a thing. It's really the only sane way to do the migration for any sizable network, but obviously increases complexity vs a hopeful future of IPv6 only.

Good point about dnssec, but this is par for the course with good security technologies - it could break things used to be an excuse for supporting plaintext http as a fallback from https / TLS. If course having an insecure fallback means downgrade attacks are possible and often easy, so defeats a lot of the purpose of the newer protocols
Looking at the full chain of thought , it involves a lot of backtracking and even hallucination.

It will be like a math teacher that is perpetually drunk and on speed
Yes yes, there’s always some “you're holding it wrong” apologist.¹ Look, it’s not a complicated question to ask unambiguously. If you understand even a tiny bit of how these models work, you know you can make the exact same question twice in a row and get wildly different answers.

The point is that you never know what you can trust or not. Unless you’re intimately familiar with Monty Python history, you only know you got the correct answer in one shot because I already told you what the right answer is.

Oh, and by the way, I just asked GPT-4o the same question, with your phrasing, copied verbatim and it said two Pythons were knighted: Michael Palin (with the correct reasons this time) and John Cleese.

¹ And I’ve had enough discussions on HN where someone insists on the correct way to prompt, then they do it and get wrong answers. Which they don’t realise until they shared it and disproven their own argument.
That sounds valuable too but maybe it comes after the basic concepts or you may find people immediately dismiss it. There is all kinds of extra syntax and baggage that may seem pointless at first.
If you're using full power for longer than 40 seconds, you're almost certainly doing something wrong (or, need to switch to a chunkier soldering iron). At a certain point, the limiting factor becomes how quickly you can transfer heat from the iron into the solder, and you won't pull 100W anymore.

I have a JBC iron capable of 130W. It never pulls 130W, even on extremely chunky power planes, besides when initially heating up (on startup). When trying to heat some super thick, I can watch the power meter max out at ~70W (and it pulses 70W, not continously). And this is on a thick tip, far chunkier than what I see from iFixit.
My DEC VT 220, which I bought it back in 1997 for $20 from a company liquidation auction.

At the time, I had two computers: my gaming rig and my linux box acting as my router.

My gaming rig was hooked up to the at-the-time Sony flagship 21" CRT monitor which left little room on the desk. I also couldn't afford a KVM, so I set the DEC VT 220 on a little folding table (like you'd use to eat dinner in front of a TV) as the terminal console for my linux box.

Before that, I would hook the DEC VT220 directly to a Hayes modem and dialed into the University network.

Sadly, a few capacitors leaked and I was not good enough to figure out which ones, so I had to throw it away.

I'd buy another one but people want ridiculous prices for these things. :(
Plant Response to Mechanical Stimulation: Understanding Predator Defense
> people from over 20,000 years ago came from the northern ice bridge

Isn't the latest research strongly implying they came by boat?
For all edge tools be they for cooking, woodworking, forestry or something else: buy steel, not sharp. Henkels, Lie-Nielsen, Gransfors Bruk, Victorinox, or Stanley is only going to sharpen it for you once.

Corollary: learn to sharpen. The best steel in the world isn't going to cut anything if it's dull.

For the record, I sharpen chisels almost daily and I hate sharpening kitchen knives. The carbides set at the right angle in the handle you pull down the length of the blade will keep your knives a lot sharper than a set of Japanese water stones you never use.
AlphaFold simulated the structure of over 200 million proteins. Among those, there could be revolutionary ones that could change the medical scientific field forever, or they could all be useless. The reasoning is sound, but that's as far as any such tool can get, and you won't know it until you attempt to implement it in real life. As long as those models are unable to perfectly recreate the laws of the universe to the maximum resolution imaginable and follow them, you won't see an AI model, let alone a LLM, provide anything of the sort.
HAY LOCURA EN DEMASIADO SANIDAD, Y LO MAS LOCURA DE TODO ES QUE VER COSAS COMO SON EN VEZ DE COMO DEBEN SER

Is that correct? I don't know anything but basic Spanish. All I did was:

"The plaintext is in Spanish but I don't know anything else, solve this and explain your reasoning as you go step by step."
I'm plus subscriber and I have o1-preview and o1-mini available
In ChatGPT, it's rolling out to Plus users gradually over the next few hours.

In API, it's limited to tier 5 customers (aka $1000+ spent on the API in the past).
Ask HN: Best" model to run on local machine and summarize articles
Some channels and websites that I follow unfortunately add a lot of nonsense and irrelevant content in the middle of what really matters. So, I've been reading their summaries, obtained from the transcripts. Basically, I use Whisper to get the transcript and then use ChatGPT to request a summary. It turns out that some texts are long and eat up my daily quota.

So, anyone knows of a good model (that doesn't require powerful hardware) that can be run locally and get good results when summarizing articles?
That's weird. Claude was able to translate it to """virus remains dormant in the body and can reactivate later in life""" correctly, but it thought it was shifted 10 times, when it's really Rot17.
Tiny, Overlooked Bones Could Tell Us Why Our Knees Hurt
How Uber did its data lake cloud migration
And distance. As the distance to get from A to B increases, mpg becomes less important of a metric than total fuel consumption.

(1 mile / 60 mpg)/(2 miles / 90 mpg) = 0.75

Traveling 1 mile @ 60 mpg consumes 75% of the fuel as going 2 miles @ 90 mpg does.

Edit: *Assuming the route planning grand-OP mentioned to optimize for mpg goes significantly out of the way.
Except that these aren't thoughts. These techniques are improvements to how the model breaks down input data, and how it evaluates its responses to arrive at a result that most closely approximates patterns it was previously rewarded for. Calling this "thinking" is anthropomorphizing what's really happening. "AI" companies love to throw these phrases around, since it obviously creates hype and pumps up their valuation.

Human thinking is much more nuanced than this mechanical process. We rely on actually understanding the meaning of what the text represents. We use deduction, intuition and reasoning that involves semantic relationships between ideas. Our understanding of the world doesn't require "reinforcement learning" and being trained on all the text that's ever been written.

Of course, this isn't to say that machine learning methods can't be useful, or that we can't keep improving them to yield better results. But these are still methods that mimic human intelligence, and I think it's disingenuous to label them as such.
Somebody please ask o1 to solve it
>That is such an artificial way of talking and it is making me not want to talk to you. You are actively cutting of communicating with me if you keep talking to me this way

cool, communication for the win and I can modulate to hopefully better understand you. how would you like to be acknowledged or how would you like me to check understanding? NVC is a framework to do that and you don't want artificial sounding exchanges. Cool. Is this still artificial? I don't really know. I am attempting to communicate with you and that takes checking understanding. I haven't blamed you for anything. And, yeah, as a throw back to the previous comment, I have an agenda: I am trying to understand and evaluate criticisms against NVC and I am not convinced by what those posts said. I want to know these because if I am giving bad advice by recommending NVC I want to stop.

You may have cooperated with people of all kinds, but in this exchange, I feel I am working extra hard to understand your position and finding cooperation difficult.

> Perhaps you can help me understand by proposing an alternative or let me know where I am not understanding

>> I have lived all my life, cooperated with people of all kinds. Never used NVC.

I think you are attempting help me understand your position, but I am having to stretch. You've cooperated and self-report to never have used NVC. OK, and what am I supposed to take away from that? I never said that NVC is the only way cooperation can be achieved. The claim is that by stating unmet needs and communicating those in a way that both parties can acknowledge and understand, that conflicts can be resolved. Conflicts can be resolved lots of ways, including walking away. Cooperation can happen even when you don't intend it. NVC is but a tool and one that I am still not sure what you object too.

Are you against the suggested words and sentence structure proposed by NVC? If so, again, I think that is missing the point.