skysight-inc/HackerNews huggingface dataset:
https://github.com/lisper/cpus-caddr #Lisp machine #gateware for the
MIT CADR in modern #Verilog. “Boots and runs.” By #lisper (Brad
Parker)

It doesn't boot or work -- there are CDC issue and other stuff, plus
not working on anything that is easilly found (help wanted to get that
stuff working again!). Current version of the FPGA CADR is at
https://tumbleweed.nu/r/uhdl -- and CADR restoration and stuff work at
https://tumbleweed.nu/lm-3 .

one quibble: i don't think flavors was around until quite a bit
later, maybe 01979, so the lispm software wasn't oo until quite
late. weinreb and moon's aim-602 on it wasn't until 01980 [...]

I wouldn't call it "quite late" -- it was only a 2-3 year gap from the
system booting to very heavy usage (1977 - 1979); the Lisp Machine
(specifically the MIT and LMI branches) survived for 10 more years
after that.

Message passing was added on or around 03/09/79, and things got
quickly adjusted and flushed after that.

MMCM@MIT-AI 03/09/79 21:26:00
To: (BUG LISPM) at MIT-AI
Band 6 on CADR1 is a new experimental world load.
In addition to quite a few accumulated changes, this load
has some important changes to the message passing stuff.
CLASS-CLASS now has three instance variables where formerly
it had two. Most importantly, instead of the SELECT-METHOD
being in the function cell of the xxx-CLASS symbol (typically) there is now a
gensym (called the CLASS-METHOD-SYMBOL) created for each instance
of CLASS-CLASS which holds the select-method. The CLASS-METHOD-SYMBOL
for a given class can be obtained by sending the class a :CLASS-METHOD-SYMBOL
message.
A forthcomming essay will describe the motovation for doing this,
etc. For the present, I note some incompatibilities and changes to
operating procedure which this makes necessary.
Incompatibilites:
(1) The <-AS macro has been changed, and any file which uses it
must be recompiled. If this is not done, the symptom will usually
be a xxx-CLASS undefined function error.
(2) Any other file which uses DEFMETHOD should eventually be recompiled.
There is a "bridge" which causes old files to win for the time being,
but this will eventually go away.
Since new QFASL files wont work in old loads, its probably a good
idea to rename your old QFASL files if you compile with the new load.

When you do a DEFCLASS, you always get a fresh class with no methods
defined. If you are redefining a class this means two things:
instances of the old class will continue to work
(this was not always true before. However, we still have the
problem that method names can conflict between new and old versions
of the class).
all the methods used by a class need to be reloaded for new instances of the
new class to win completely. Also subclasses of the given class
need to be reloaded.

Since reloading is a gross pain, you should not redo DEFCLASSes
unless you really mean it. Probably DEFCLASSes should be put in a
separate file so the rest of the file can be reprocessed without
redoing the DEFCLASS. Hopefully,
there will eventually exist system features to make this more convenient.
can we get it on ollama?
if not how come openai is called open
Unempolyment-Pulse
Definitely there are fear of unknowns to deal with. And generally some business won't want to pay the switching costs over something perceived to be working.

IPv6 is simpler in a lot of ways than ipv4 - fewer headers/extensions, no support for fragmentation. What makes it more complicated? What makes the failure modes more obscure? Is it just that dual stack is more complex to operate?
For those who can't access the article, the dosage they used was 20mg/kg per day. The pills I've seen are 500mg, so for me that works out to 3-4 pills per day. I know some people who already take doses like that for high blood sugar with no ill effects, but some also do have ill effects. Also I am not a monkey, so no idea if this would be a great idea to try.

I couldn't find the exact doses TAME is using, but some writeups point out that there's no effect on glucose levels beyond about 1,600mg per day.
> The big clouds have internal versions of object store that are far better (no single point of failure, much better error recovery story, etc.).

There are different levels of scalability needs. CERN has over a dozen (Ceph) clusters with over 100PB of total data as of 2023:

* https://www.youtube.com/watch?v=bl6H888k51w

Certainly there are some number of folks that need more than that, but I don't there are many.

> Like Ceph it is also vulnerable to single points of failure.

The SPOF for ZFS is the host (unless you replicate, e.g., zfs send).

What is SPOF of Ceph? You can have multiple monitors, managers, and MDSes.
As someone who's worn hearing aides for almost a decade, I'm thrilled to see this.

To give folks a sense of the cost difference, here are some numbers:

My most recent pair of hearing aides cost $4,400 in 2020. And no, these are not covered by any kind of insurance.

AirPods Pro 2 cost $250, about a 95% reduction in price.

My most recent service on one of my hearing aides that was failing cost $280.

Also, I'm really looking forward to being able to manage things like audio curves myself, vs having to go through an audiologist for every adjustment.

The only thing I'm waiting for here before making a switch is better battery life, really want 18/24hours there.
the first one anyway. after that it will find more efficient ways. we did, afterall.
Claude made similar mistakes of generating decryption that was similar to plaintext but with stuff mixed in. I suspect my version of the quote (Miguel de Cervantes) is an apocryphal translation, and there's some utility well on both models to pull it towards the real one. With that said, I did not see o1-preview get as close as you did.
> If you just buy the iron, you have access to all the settings in our web console: https://www.ifixit.com/fixhub/console

So how are you supposed to actually use that? I don't think there are any computers out there which can provide 100W out of their USB ports.

Am I supposed to unplug the iron from its power supply, plug it into a computer, change the temperature, unplug it, plug the power supply back in, wait for it to heat up, and finally continue soldering? That's awkward enough that even a crappy proprietary smartphone app would've been better!
Why did you have to pick on Windows? :-(

If you want real atrocities, look at Xbox.
I'm not sure what you are saying exactly? Are you saying we live for the work?
It is avalible via web login. At least in mine bank.
Seriously. I actually feel as impressed by the chain of thought, as I was when ChatGPT first came out.

This isn't "just" autocompletion anymore, this is actual step-by-step reasoning full of ideas and dead ends and refinement, just like humans do when solving problems. Even if it is still ultimately being powered by "autocompletion".

But then it makes me wonder about human reasoning, and what if it's similar? Just following basic patterns of "thinking steps" that ultimately aren't any different from "English language grammar steps"?

This is truly making me wonder if LLM's are actually far more powerful than we thought at first, and if it's just a matter of figuring out how to plug them together in the right configurations, like "making them think".
> 8.2 Natural Sciences Red Teaming Assessment Summary

"Model has significantly better capabilities than existing models at proposing and explaining biological laboratory protocols that are plausible, thorough, and comprehensive enough for novices."

"Inconsistent refusal of requests for dual use tasks such as creating a human-infectious virus that has an oncogene (a gene which increases risk of cancer)."

https://cdn.openai.com/o1-system-card.pdf
> ZFS and Ceph is apples to oranges.

Oxide is shipping an on-prem 'cloud appliance'. From the customer's/user's perspective of calling an API asking for storage, it does not matter what the backend is—apple or orange—as long as "fruit" (i.e., a logical bag of a certain size to hold bits) is the result that they get back.
Related:

OpenAI O1 Model

https://news.ycombinator.com/item?id=41523070
Remember that in business, most decisions have a positive expected value. A quick bad decision is better than no decision.
Music on CDs
OpenAI o1 System Card [pdf]
Until the first LLM that can improve itself occurs. Then $NVDA tanks
...while providing a significant advance. That's a good problem.
The general recommendation is the keep the measure of the page fairly narrow since studies show that reading text that is very wide is harder than reading a narrower column of text. So looking at the layout from a best practices point of view the author made the right call.
Marc Benioff: Taking on a King of the Software Mountain
Per OpenAI, it's a summary of the chain of thought, not the actual chain of thought.
For folks who want to see some demo videos and be amazed!

HTML Snake - https://vimeo.com/1008703890

Video Game Coding - https://vimeo.com/1008704014

Coding - https://youtu.be/50W4YeQdnSg?si=IohJlJNY-WS394uo

Counting - https://vimeo.com/1008703993

Korean Cipher - https://vimeo.com/1008703957

Devin AI founder - https://vimeo.com/1008674191

Quantum Physics - https://vimeo.com/1008662742

Math - https://vimeo.com/1008704140

Logic Puzzles - https://vimeo.com/1008704074

Genetics - https://vimeo.com/1008674785
A battery is just a group of cells. You have to replace one or more of the cells eventually, but it is technically a battery that lasts forever. kind of a ship of theseus situation
> We used Web Serial https://caniuse.com/web-serial for the interface, which is only supported in Chromium browsers.
True. It can be good at giving you pointers towards approaching the problem, even if the result is flawed, for slightly less common problems. But as you slide even father towards esotericism, there is no hope. It won't even get you in the right direction. Unfortunately – as that is where it would be most useful.
Still on the outside of the bats ;-)
Google unlists misleading Gemini video
I'm on Metformin and not worried about it given the likely reason you ended up on Metformin 10 years ago is it was already generic and cheap to make, especially compared to many of the alternatives. Where you get screwed is needing a pill that's under heavy patents or still complicated/expensive to make even when it isn't.
Reinforcement learning seems to be key. I understand how traditional fine tuning works for LLMs (i.e. RLHL), but not RL.

It seems one popular method is PPO, but I don't understand at all how to implement that. e.g. is backpropagation still used to adjust weights and biases? Would love to read more from something less opaque than an academic paper.
I enjoyed Jago Cooper's/The BBC's 'Easter Island - Mysteries of a Lost World'.

However, I'm not sure how current the research is as it first aired a decade ago.

https://www.youtube.com/watch?v=cv5YHeJ9CZQ
Oh good. In the context of soldering "popcorning" typically means explosive steam formation that puffs up the package a part, often an expensive part because bigger / more complicated packaging is a risk factor. I was having trouble making that fit with the rest of the post.
This is not a [dupe] as the PDF discusses security and other evaluations not mentioned elsewhere.
If they would have launched it with Oracle DB style licensing their company would have been dead in 1 year.
The Eastern European population ruled by Austrians lived in abject poverty and there was no talk about making them partake in the prosperity of the elites. The affluence of Vienna did not extend onto the rest of the empire.
"rephrase in more casual form" ? What was the prompt to generate that ?!
You seen knowledgeable. I've used leaded solder in my bedroom / apartments since community college, usually with a fan in the room or a window open. What damage could have or has happened?
Therefore there are four R's in STRAWBERRIER, and five R'S in STRAWBERRIEST!
Note that Palm OS 6.x was never released on any devices. This was in the era when palm split into Palm One for hardware and Palm Source for software, and Palm Source completely failed to sell anyone their next generation OS, at the time everyone stuck with "classic" Palm OS (Garnet). Palm Source then pivoted to a Linux based OS around the time they were bought out by embedded web browser maker Access, which also completely failed to go anywhere. Palm (One) eventually just wrote their own Linux based OS with webOS, which... had a nasty accident involving HP.
The absolute time depends on hardware, optimizations, exact model, etc; it's not a very meaningful number to quantify the reinforcement technique they've developed, but it is very useful to estimate their training hardware and other proprietary information.
Honestly, it is the only Microsoft product I know. Xbox may be a better example, but I know nothing about the Xbox. But I am interested to learn! What is notable about its naming?
For testing I think it's better to use uncommon sentences and also start with English first, if it can solve that, then try other languages.
Don't be in the endless void of space which is already emotionally and psychologically taxing on human beings who are verifiably in peak physical and mental condition

Seems like a pretty fucking bad set and setting honestly. Regular astronauts already deal with powerful feelings in their normal job. Adding a drug to that is a bad plan.
Adobe patches Acrobat bug, neglects to mention whole zero-day, exploit thing
Apple just got FDA approval for AirPods Pro 2's hearing aid feature
Location: Brooklyn, NY, USA

Remote: Open to remote

Willing to relocate: Yes

Technologies: Javascript, Python, Github, Keras, SQL, HTML, CSS, and open to learn

Resume: https://docs.google.com/document/d/1Y9ofpYi1T0U-BsV_4EujwQiz...

Email: owang913@gmail.com/owang@wesleyan.edu

Hello! My name is Oliver Wang, and I graduated from Wesleyan University in May 2024 with a Bachelor's in Computer Science. I am currently seeking a full-time software engineering position, ideally based in New York City. Although I may not have extensive experience, I am a quick learner and confident in my ability to make meaningful contributions.

Please feel free to reach out if you have any questions or opportunities. I look forward to connecting!
Isograph 0.2.0 – component fields, compiler watch mode, loadable fields and more
This is the biggest release of Isograph yet, and with this release, Isograph is capable of doing many things in userland that (in other frameworks) are complicated and require framework integration:

- Relay 3D/match (load only JS for the types of objects you encounter), which is also what made the FB newsfeed load so fast
- @defer, but without requiring server support
- Relay entrypoints, also without requiring server support

As well as more commonly used patterns like pagination!

This also includes compiler watch more, automatic typing, etc. that substantially improve DevEx. Now is a great time to give it a try!
> literally anyone can use it for free, you don't even need an account

how can you access it without an account?
They they've taken at least some of the hobbles off for the chain of thought, so the chain of thought will also include stuff like "I shouldn't say <forbidden thing they don't want it to say>".
It is definitely available today and I believe it was available shortly after the announcement.
I'm going to go ahead and sling mud at iFixit for using a Battery pack instead of individual cells and springs. It also doesn't seem that this expensive power supply supports power pass-through. A soldering iron shouldn't have a shelf life. Easily replaceable commodity batteries with spring terminals are massively superior to packs. What a gross product that makes me think significantly less of iFixit.

They seem to have gotten so caught up in the "things should be repairable" that they've forgotten the true thing most people care about is, "I shouldn't have to replace my stuff". They are acting like parts salesmen, not consumer advocates.

$200(? looks like you get the iron when you buy the power supply) would be a fair price for the base if it allowed me to charge and use any 6 18650s(bonus points if it can accept a variety of cell sizes) as a power bank and had circuitry to do pass through as well as charging. It would also be nice if you could use it charge batteries to a specified amount, and use custom charge patterns. Considering this is iFixit, it should also have a way to use it as a DC power supply as well. $250 for a glorified power brick is pathetic.
See also: them still sitting on Sora seven months after announcing it. They've never given any indication whatsoever of how much compute it uses, so it may be impossible to release in its current state without charging an exorbitant amount of money per generation. We do know from people who have used it that it takes between 10 and 20 minutes to render a shot, but how much hardware is being tied up during that time is a mystery.
Cobalt sim exists. There was also a phone given to some PalmOS developers with PalmOS 6.1 [1]. Internally at Palm Tungsten T3 devices were used to develop cobalt. A few of them "escaped" Palm running 6.1.1. [2] and have been seen outside.

[1] https://www.palminfocenter.com/news/7874/palm-os-cobalt-phon...

[2] https://www.reddit.com/r/Palm/comments/cjx9d9/palmos_61_coba...
Literally all the cheap soldering irons (Miniware TS80/100/etc, Pinecil) use a 3.5mm jack for their tips. These look incompatible, though, with those designs, which is a shame.
I do this, but I put it after terminal tasks like builds or test suites like task build; say complete
Feels like a lot of commenters here miss the difference between just doing chain-of-thought prompting, and what is happening here, which is learning a good chain of thought strategy using reinforcement learning.

"Through reinforcement learning, o1 learns to hone its chain of thought and refine the strategies it uses."

When looking at the chain of thought (COT) in the examples, you can see that the model employs different COT strategies depending on which problem it is trying to solve.
this is false. There was one phone [1], there was also a ROM for TT3 [2]. I have held each in my hands. The second link contains photos I myself took, in the real world of a real device.

[1] https://www.palminfocenter.com/news/7874/palm-os-cobalt-phon...

[2]https://www.reddit.com/r/Palm/comments/cjx9d9/palmos_61_coba...
The largest cause is the burning of fossil fuels. Who champions that? Who's lobbying to keep us on that form of energy?
Doesn’t 2 pairs solve the battery issue? One set charging in the case while you wear another?
Is it good? I really liked Wittgenstein's Vienna, but I haven’t read anything else about the era so I don’t have much basis of comparison. Tempted to work on my German so I can understand Karl Kraus though.
Artificial scarcity of these drugs is an intentional choice.
OpenAI's new models 'instrumentally faked alignment'
Yeah, this hiding of the details is a huge red flag to me. Even if it takes 10 days, it’s still impressive! But if they’re afraid to say that, it tells me they are more concerned about selling the hype than building a quality product.
Delphi and C++ builder 12.2 Athens released
I can understand that position, but in practice I don't think you'd like the quality.

One of the big advantages of hearing aides is that they have multiple microphones that have known alignment with your head position. With all 4 mics separated in space, they do a good job of isolating audio coming from in front of you vs from around you.
Only people who exactly share OpenAI's concepts of what "alignment" and "safety" should mean can use it to its full potential.
GePeTO1 does not make Pinnochio into a real boy.
Yeah it’s super annoying to fix! Was literally banging my head again a wall trying to fix it
Because of a landslide at Dickson Fjord in Greenland. https://www.newscientist.com/article/2447567-greenland-lands...
Yep. That must be it.
That would be very bad product design. My understanding is that the model itself is similar to GPT4o in architecture but trained and used differently. So the 5x relative increase in output token cost likely already accounts for hidden tokens and additional compute.
They keep announcing things that will be available to paid ChatGPT users “soon” but is more like an Elon Musk “soon”. :/
Unless I'm mistaken, isn't all the math behind them... ultimately probabilistic? Even theoretically they can't guarantee the same answer. I'm agreeing with you, by the way, just curious if I'm missing something.
Yes, it definitely helps. It does add some complexity in terms of managing bluetooth though.
It becomes thinking when you reinforcement learn on those Chain-of-Thought generations. The LLM is just a very good initialization.
Entire earth vibrated for 9 days after climate-driven tsunami event
in my quest to better understand your position, I once again believe you missed the point. I think you are suggesting that NVC is artificial and smooths over chaos that needs to be experienced else things go worse later. NVC is expressly about not repressing your feelings and letting them be known via your unmet needs. Again, if I got this wrong, you are invited to correct me.

Mostly I'm just bored between meetings and not enough time to push anything productive forward and having a back and forth is pleasantly distracting. Might not reply again since work is nearly beckoning.
Haskell functions are pure, like mathematical functions: the same input to a function produces the same output every time, regardless of the state of the application. That means the function cannot read or write any data that is not passed directly to it as an argument. So the program is "stateless" in that the behavior does not depend on anything other than its inputs.

This is valuable because you as the developer have a lot less stuff to think about when you're trying to reason about your program's behavior.
Making things people want vs. making things that alter thinking
I think for simple through-hole stuff, this should be fine. However, so much stuff now requires SMT reflow and a hot air wand (and likely a binocular microscope) that except for home builds and power electronics, I rarely use an actual iron.

As you say, it's so much easier to get good solder joints (especially for the fine stuff like QFN/BGA) with lead blends and flux, that having a vent hood is likely required as well.
So you can just toss it anywhere?
had to check. confirmed.

article "As recently as September 2014, Antarctic sea ice set an all-time record-high extent. The consecutive string of low sea ice extents in recent years, however, are not easily explained by natural climate variability."

https://www.climate.gov/news-features/event-tracker/antarcti....

The article describes maybe a larger oscillation between highs and lows is occurring.
I'm in Tier 4, and not far off from Tier 5. The docs aren't quite transparent enough to show that if I buy credits if I'll be bumped up to Tier 5, or if I actually have to use enough credits to get into Tier 5.

Edit, w/ real time follow up:

Prior to buying the credits, I saw O1-preview in the Tier 5 model list as a Tier 4 user. I bought credits to bump to Tier 5—not much, I'd have gotten there before the end of the year. The OpenAI website now shows I'm in Tier 5, but O1-preview is not in the Tier 5 model list for me anymore. So sneaky of them!
Conversely, you may ask: do we really want to grant patents for ideas that can be generated simply by asking an llm?
LLMs will allow us to write code faster and create applications and systems faster.

Which is how we ended up here, which I guess is tolerable, where a webpage with a bit of styling and a table uses up 200MB of RAM.
As a programmer I probably don't know very much about how to run a kitchen, the kinds of people that work in them, and the reasonable expectations the kitchen manager might have. Not to mention, the outcome of the majority of software project is failure lol.
A Unified Interface for LLMs
Show HN: WordPress plugin that turns Markdown into Typeform-like forms and pages
how do you know it isn't some guy typing responses to you when you use openAI?
What instance type is it?