skysight-inc/HackerNews huggingface dataset:
> The problem with all this is that performance optimization is nothing without measurement.

Not what I'm arguing. I agree. When making code go fast, you should do it in terms of what the profiler tells you to fix.

However, when you are writing code, it is not wasted time to use the right data structures for the problem.

I've literally seen code like this

public void addItem(List<Foo> foo, Foo item) {
if (!foo.contains(item)) {
foo.add(item);
}
}

Is that code easier to read or understand than

Set<Foo> foo = new HashSet<>();
foo.add(item);

No (and that's the change I made).

I contend that the earlier version was bad code. The dev wasn't thinking about runtime efficiency, they just liked lists and kept using them. This kind of thinking is fairly common (particularly with young devs that aren't familiar with what's available).

And this is where the "No, never ever think about performance while writing code" that you are espousing is, IMO, detrimental to the craft. It is a basic question "Is there a data structure that meets the need of this code" that "PREMATURE OPTIMIZATION EVIL!!!!!" gets in the way of that sort of consideration.

It's sloppy development work.

The only time you SHOULD do the first solution is when you've found that in a tight loop where this method is called the items are limited and cache consistency ends up trumping algorithmic complexity. That is, data should back using a n^2 algorithm over an n algorithm, not the other way around. Especially when the difference in both solutions is a different datastructure.

But further, the code's intent is clearer in the second solution. So it's not only (generally) faster, it also does a better job of communicating intent with future developers. win-win.

I hate that so many devs cargo cult here.

The full quote is

> Programmers waste enormous amounts of time thinking about, or worrying about, the speed of noncritical parts of their programs, and these attempts at efficiency actually have a strong negative impact when debugging and maintenance are considered. We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.

Knuth wrote that in an era when premature optimization meant breaking out some hand crafted assembly which obscured the intent of the optimization. He was not talking about optimizations which improve debugging and maintenance. He was talking about improvements like TFA OP posted.

The optimizations I'm talking about I do not call "premature". Just like it's not premature to use the SDKs sort function vs your own bubble sort implementation because "oh, don't prematurely optimize!". An optimization that makes code easier to maintain and debug is never premature.
Volkswagen invests €1B towards China EV center
Spoiler alert: you need to write PHP.
I loathe big-O arguments, and so will happily disagree with this advice.

Big-O is by definition only useful when N is large/very large. In many problem spaces, N is bounded, or ought to be bounded at e.g. the input validation level.

That doesn't even capture all the details that big-O glosses over, like how many ops are actually executed, cache coherency, etc etc.

Prefer simpler code until profiled; that's it. Once a bottleneck is identified, big-O might be a useful tool for discussing improvements, far behind just measuring it.
Are they refunding the difference to people who purchased in, say, the last 1-3 months or just (really) pissing them off. For their marketing, I hope it’s the former.
Third, you just glue a vector search onto it and stuff it with a bunch of textbooks and documentation.
There's already support in llama.cpp. It runs faster than ChatGPT on my old laptop CPU.
I think its the contrast, the white is too bright.
The practical "solution" (if one can even call it that) is to carry on. If you can afford it or if it is seriously affecting your wellbeing, just quit and look for a new job. If you can't, just carry on until you find a job.
Try loading a library that uses com.sun.* through reflection in a program running on JVM 9 or higher with default settings and you'll see an example. Maybe it hasn't happened to code that you personally wrote, but it has certainly happened this way to code that someone at OpenJDK wrote.
We are back to the rates of the 1980s. What caused mental issues to be so high back the ? In the long term it’s the 90s that seem like a strangely low level of issues.
> It makes cost much lower and more consistent.

I would have thought the opposite given that they'd be charging per user per day as opposed to an all you can eat in a given month for a single user.
Those are all interconnected.
Regular macros can give you this in a disciplined way:

You make a macro called crazy-macrolet which is used like this:

(crazy-macrolet ((crazy-macro (left-forms right-forms arg ...)
....)
(other-crazy-macro (...)))
body)

Inside body, you use the local crazy macros. A little language made of these crazy macros can be wrapped up in a big macro.

(defmacro bobs-crazy-dsl (&rest forms)
`(crazy-macrolet ((bobs-crazy-macro ...))
,@forms))

Then, you can only use bobs-crazy-macro in code wrapped in (bobs-crazy-dsl ...).

crazy-macrolet needs to implement a code walker to in order to expand those macros.

Macros can be context-dependent without having access to the literal forms to the left or right (or elsewhere).

In TXR Lisp, I implemented tagbody as a macro, providing a measure of CL compatibility. The go operators are local macros. They do not expand in a context-free way; they communicate with the surrounding tagbody.

So for instance if go is asked to jump to a nonexistent label, it errors:

1> (expand '(tagbody (go a) b))
** go: no a label visible

1> (expand '(tagbody (go a) a))
(let ((#:tb-id-0019
(gensym "tb-dyn-id-"))
(#:next-0020
0))
(sys:for-op ()
(#:next-0020)
((sys:setq #:next-0020
(block* #:tb-id-0019
(sys:switch #:next-0020
#(((return* #:tb-id-0019
1))
()))
())))))

So obviously, (go a) is behaving differently based on whether it can "see" that there is an a in its context, on the left or right side.
Coinbase gets Bermuda license, plans to launch offshore exchange in coming weeks
Wow, so I need to add a feather duster and an... electrostatic vacuum filter to my lunar excursionist kit!
In 4bit 7B requires 6GB of RAM and runs at ChatGPT speeds on CPU (with llama.cpp).

The 15B model coming out soon will require 12GB of RAM and still run at good speeds on CPU.
Never repeating your training data is what you'd ideally like to do for training basically any ML model. If you do that you don't really need to worry about overfitting since the model is constantly trying to fit a stream of new data. To reduce its training error it actually has to model the structure of the data rather than just memorizing it since each training step will involve data it has never seen before. Larger models are more prone to overfitting but also learn several orders of magnitude faster. If you can use larger models without being concerned about overfitting it's generally desirable to do so. It's just that most tasks don't actually have enough data to support doing that. Thankfully, text modeling does have enough data.
RocksDB is awesome, though don't use it with regular glibc malloc because it can cause extreme memory fragmentation. Use jemalloc, tcmalloc, or mimalloc: basically any other advance malloc libraries that can effectively reuse memory.
Snac: A simple, minimalistic ActivityPub instance
Guess they don’t want the customers lacking smartphones? Retirees have money for the most part and the mobile ones take holidays. And there still seems to be an are cutoff grokking smartphones.
We don't do anything with sleep latency (time to fall asleep). There is nothing I have seen in research that suggests it is possible to reduce time to sleep with auditory stimulation.

That doesn't stop other people from trying to sell into that space.

We're focused on improving the efficiency of deep sleep specifically, and the many physical and mental health benefits that come from that. A portion of that research is posted on our website https://soundmind.co/research
Sorry, I missed that the finetuned models are NC-by-sa-4.0 and the base models are cc-by-sa-4.0.
Yes, these models are identical in architecture to GPT-NeoX which has already been GPTQ quantized. So you can quantize these with GPT-NeoX quantization scripts out of the box.

There's also support in llama.cpp already.
This could only done because of the chronic underinvestment by Alan Joyce.
The clearest example is probably the diagonalization argument. Suppose you have a complete, infinite list of real numbers. You can construct a number by taking the i'th digit of the i'th number and changing it to a different digit. This number is not on the list, and yet it is still a real number.

There are four possible responses to this argument. The first is to accept that this means that there are infinite sets which have different fundamental properties (the "infinite" in a "real number has an infinite number of digits" can't be iterated the same way as the "infinite" in the "infinite number of real numbers"), and the way these differ is labeled the "size" of the infinite set. The second is to object to definition of a real number (which has other repercussions in other branches of mathematics). The third is to object to the ability to iterate over an infinite set (essentially, finitism). The final is to object to the idea of an infinite set in the first place (essentially, ultrafinitism).

The response to Cantor's proof of the uncountability of real numbers was basically for mathematicians to explore all the different responses, and ultimately, the first response is the one that is accepted by the majority of mathematicians, although some still work under models that object to the proof's correctness in some fashion.
> I like adventure, so I keep buying 15 year old German cars.

I want to capture this feeling again - my Civic just works, but my old Saab was just way more fun.

Of course, the Swedish electrical gremlins weren’t fun, and parts availability is even worse, but there are now effective clones for some of the proprietary tools and security systems and more information on DIYing for these cars than I could’ve ever dreamed of when I sold it…
Sounds like turbo aka the free (and dumb) 3.5 version. GPT-4 would deliver better results with less hallucination but if you want it to really work well you should include the lyrics in the prompt as context. It's not a search engine, if you want that then use Bing.
Thanks for posting. A bunch of time ago I was actually looking for MyDef for some reason, but I couldn't remember the exact name and couldn't find it.

You could have a replacement for M4 there.

I made a macro preprocessor in 1999 called MPP which also was able to preserve whitespace in perpetrating multi-line expansions, and so suitable even in indentation-sensitive formats. MPP has scopes and also a namespace system. I didn't develop it further because right around that time, I discovered Lisp and, you know ...
Copyright (and thus Disney) to thank for it.
> Setting the criteria at the block level is an absurd strawman argument, guaranteed to yield the intended result.

It isn't a strawman because altering the argument to a 5-8 miles radius township doesn't change much of substance. The valuations are primarily determined by proximity to city center/coast as well as desirability of the broader city/country, all of which have nothing to do with the township itself. A terrible house in a terrible location in a rich country costs more than a luxurious house in a poor country because that terrible house is free riding off the armed services, medical access, among other stolen global properties. So these are public goods whose fruits are stolen by the untaxed homeowners. A small percentage of variation in the valuation is due to strictly local features such as availability of shopping centers, but again that is private investment that the homeowners themselves had no part in and have no moral right to steal. Here, they are again free riding off other people's activity. If there are indeed things that the local homeowners themselves are doing which improve local valuations, these small contributions are dwarfed in magnitude by the above-mentioned free riding.

> once zoning density is high enough that there is effectively no ecosystem, it's just suburban hardscape

If you care about the ecosystem, then you should want more zoning density, because suburban sprawl is what destroys ecosystems, not pockets of density which allow for maximum land to be open green space.
> If you think of a "cathedral versus the bazaar" point of view, and that academics are often employed by the cathedral owners, then a missing grass-roots point of view is no surprise.

This seems unsupported by anything.

Firstly, the history of this time is widely explored. I'm more familiar with this period in Southern Europe than in the North but I recommend Misha Glenny's "The Balkans"[1] which covers this period in that area.

> this viewpoint is a new and unexplored academic angle

The unexplored angle part of this is arguing the legitimacy of the claims of sovereignty.

I suspect the reason this hasn't been explored is because that specific claim is somewhat uninteresting historically - it's a 7 year period at most, and most specific "micro states" lasted a lot shorter period than this, and most were very small in terms of land and population (hundreds of people, with a few exceptions).

Generally most people working in this area mention them in passing but since they are absorbed by "the winners" there isn't a huge amount to say about them other than "post war chaos".

I'm not aware of any historians who specifically reject the claims of sovereignty, but you'd really need to look on a case by case basis. Some of these micro-states seem to have had a lot more legitimacy than others.

As an example there are at least 20 papers mentioning the Tarnobrzeg Republic, and that lasted maybe 12 months at most[2]

[1] https://www.penguinrandomhouse.com/books/311471/the-balkans-...

[2] https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=+%22...
It would cost a tenth of that to replicate GPT-4 by training on its outputs.

It's quite likely that finetunes of the forthcoming larger StableLMs will rival GPT-4. (and by that time GPT 4.3 will be shipping)
Why oh why are people so eager to fork standard JavaScript syntax?

They're using `@foo` to represent a username so you can reference other "Vals". That's going to break with upcoming decorators and they could have done a completely normal and safe thing and used usernames in import specifiers.
So the claim is that CP violation would make it possible to define "left" without ever pointing at things? Of course then the question would be what this definition actually is.
it’s just not cool. it’s nerdy
TIL The rat scene was real, thanks!
The Slavic languages, of course, have their own declension patterns, although a common masculine suffix is -y or -i which brings us back to the original Draculi (!).
This is what I want to be able to use server-side WASM for.

It feels to me like this kind of sandboxing should be the Hello World" of server-side WebAssembly - using wasmer of wasmtime or similar.

To my surprise, actually achieving this with any of those seems to be very poorly documented.

Last time I complained about this on Hacker News Tim Bart figured out a Python recipe for me! https://til.simonwillison.net/webassembly/python-in-a-wasm-s...

I don't have a great recipe for JavaScript yet though. Something based around QuickJS feels like it could work.

The characteristics I'm looking for are:

1. Runs a string of code I give it - pretty much like an eval() function - ideally without needing to write that code to disk

2. Code has a limited amount of memory available to it

3. Code has limited CPU available as well - if it tries to use too many cycles it quits with an error

4. Same with amount of time to execute - cut it off after a specified number of ms and return an error

Bonus: it would be nice to be able to selectively expose additional Al functions to it (like fetch() via a controlled HTTP proxy) but even without that I could do some very useful things.

I remain frustrated that this is so hard to figure out!
Sorry, I meant a hypothetical definition of "left".
Mainly, because it's always run-time. Your program's compile-time is the compiler's run-time. Compilers can be available in a shipped application.
Given that a one-to-one correspondence is just a renaming, and renaming things doesn't change how many there are, this seems sound.
This is the only sane reply, IMO.

When we can't admit this, either fear or a reflexive optimistism takes over our thinking as we try to guess at the future. And articles like this simply stoke these emotions further, benefitting the author with clicks while leaving people more anxious about their lack of knowledge about the future.
This is true, but there were those of us who embraced being the ostracized. Being the 'weird' one (worse words used) made me who I am today.
The Smartest Take Contra Eliezer Yudkowsky's Extreme AI Doomism
A new proposal sketch for isolated web components: https://github.com/WICG/webcomponents/issues/1002
Maintainable Software Podcast: Lena Reinhard – How Will People Get Stuff Done?
Scientists identify 2022 sea urchin killer
That would be due to the wall tilt on the lower deck. The seat couldn't be closer to the wall, there is no gap at the seat level.
Our target is not sleep monitoring at all. We are improving the efficiency of deep sleep as a initial use, and the physical and mental health benefits that come from that.

We're not focused on "hackability" atm, but if you look at Emotiv, they have a software platform, as do OpenBCI. Some people have tapped into Muse (I believe).

It seems the EEG units that have offered open APIs have mostly removed them, I'm not sure why.

What sort of "messing around with the data" would you like to do?

We have looked at opening our data to users, but seeing as we are classified as a medical device, there are considerations that there.
What a marvel of engineering! I find it amazing that it could be done almost 100 years back. I didn’t think technology was so advanced back then.

Don’t the pillars of the building go deep into the land? How were able to lift the whole building with the pillars that buried so deep?
You can finetune 7B in a couple of hours on a $200 3060 with https://github.com/johnsmith0031/alpaca_lora_4bit
Silent Movies did often have semi-synchronized music.
I think its hard to beat Misty for best looking satellite. https://en.wikipedia.org/wiki/Misty_(satellite_program) an eavesdropping Paul McCarthy tree in Paris.
Perhaps another reason to eat less (or no) meat.

Did they test vegetables and other foods?

My guess is the drug-resistant e. coli are more likely to be found in meat (due to slaughtering processes, and overuse of antibiotics) but sometimes vegetables, fruit, etc. can be tainted as well.
Someone is using ChatGPT to try to scam Product Hunt websites
Today I received this:

*******************

Hi team

I am sending this email regarding the vulnerability which I have found on your website and want to disclose it. It will be helpful for your website's security.

Let me know if you have any active bug bounty program or if there is any compensation for reporting vulnerabilities?

PS: This email is from a genuine person, not a bot and if you are not comfortable here on Via mailbox then I am ready to communicate with you Via LinkedIn.

Have a good day

Looking forward to your positive response

Best regards

Kamran

*******************

Given it sounds like an intelligent person who may very well have found a vulnerability, I was inclined to reply.

But after some analysis of my website's logs, I can see they:

- Arrived to my site directly from Product Hunt

- Pasted (as opposed to typed) the message, spending (in total) less than 90 seconds on the site (it was a human)

When I googled part of their message, I can see evidence they’ve used a ChatGPT-like tool to correct their grammar: https://www.comingup.io/s/15765

These don’t prove it to be fake, but it’s enough to convince me.

Pre ChatGPT, such an attempt would be i) too obviously fake based on the poorly written message, ii) too costly (in time, freelance $, or risk) for a scammer to bother having their message corrected for grammar before sending.
> Also you don't risk the accidental intravenous delivery which can have terrible outcomes when the syringe isn't first aspirated to sample if you hit some open vasculature along the way.

how often does this happen?
It depends. I've gotten some use out of it recently but I have found I have to give it prompts more akin to pseudo code.

I'm not a developer, let alone a java developer, but actually got some mileage with chatgpt writing a ghidra script today. So I wrote down specifically on a notpad with pencil/paper and identified the inputs and outputs I thought of need and different methods and what not. I then started passing it prompts and got some working java back.

For me, this was useful because I almost never program in Java, and so simple things like declaring a string with `String foo` I would normally have to go look up again.

Of course, it wouldn't be useful or able to do what I wanted if I didn't already u derstand programing concepts and what not.
Our boards and electrodes are not publicly available. We are still in development. Our product is also a product, we are not selling our boards or electrodes independently.
>Has anybody figured out the hardware requirements yet?

In 4bit 7B runs in 6GB of RAM at ChatGPT speeds on my old CPU.

The hardware requirements are more or less identical to llama (the model is slightly larger, ~7.9B parameters vs ~6.7B).
Sounds like journalism generally
One Big Web: A Few Ways the World Works
This is actually impressive and the kind of complex solutions that I hoped an AI could come up with. Imagine if you could tell it to give you as many paths to solve a problem as possible. Imagine this being used in physics, to figure out complex stuff in the universe. Or in health/biology, to find cures and answers for things we don’t fully understand yet. This will truly change our world.
See Bill Gates.
The base model is CC-BY-SA commercial licensed and you can finetune it in a couple of hours on a consumer GPU with 8GB of VRAM using https://github.com/johnsmith0031/alpaca_lora_4bit
Congratulations to the author for a remarkably clear, easy-to-follow, and informative post. Excellent technical writing!
190mi (305km) range for the base price and optional 252mi (405km) is pretty impressive. Reports seem to conflict on whether it is a sodium-ion or LiFePo battery.
lol, this attitude is why so many Aussies don’t want to go back.
This model is open source. Period. Whether they close off future models is irrelevant to whether this one is open.
This maybe, as a start?

https://github.com/justjake/quickjs-emscripten

See https://github.com/justjake/quickjs-emscripten/blob/main/c/i... for the mem/CPU limits.
It's extremely expensive since you have to buy apple hardware to run it.
I finished my transition from a dvd netflix queue to creating a list on the local library system’s online catalog. I’m in suburban Chicago and of the 149 titles (a bit more when measured in DVDs) in my queue, only two were not available (The Secret Policemen’s Last Ball and Rammbock). I would have kept doing my $7.99 a month for potentially forever, but the announcement managed to get me to empty my queue a lot faster.
orly?

https://abcnews.go.com/Technology/mars-lander-losing-power-d...