skysight-inc/HackerNews huggingface dataset:
I personally have a lot of informations coming from my text editor (emacs) when writing code, and I only want to say that your example does the opposite of what you meant; because of the type system, typing Rectangle TAB would likely print Rectangle(width, height) automatically and inform you with "width, a 32 bit float; height, a 32 bit float".

I fail to find a better example (complex functions of high arity with parameters from the same type ?).
The Secret and the Australian Experience
I saw an argument online about whether web development beginners should focus on learning a framework (like say React) or focus more (and longer) on browser and web technologies (HTTP, HTML, CSS, JS etc.)

Anyone who's been around for long enough knows that:

- Making an effort to learn at least some of the stuff one abstraction layer below you, pays out big time in the long run.

- Paradigms, frameworks and tools come and go. Concepts, standards and protocols last. Both of these categories have an almost infinite ceiling.

- Solutions that are found by taking things away instead of adding things are better _now_ and especially _later_.

People can find themselves emotionally attached to their favorite paradigm, framework or tool and loose sight of what problem it's supposed to solve. Productivity, expertise and confidence are a function of deep understanding and practice. It's easy to distract ourselves.

This blog post makes a good case of avoiding unnecessary complexity with what they describe as "shortcuts". But really what they do is _lean into_ and extend what's already there.
Possibly referring to iOS games using Metal.
True, tried turning it on and with 10x zoom it stops, just as expected periscope is the culprit. Learned something today, thank you
The foundation was set up to foster an ecosystem of commercial companies (or in-house teams in public sector entities) and that is the emphasis that the directors of the foundation have maintained since 2010. While I agree with you that there is space for the foundation to do more in-house without stepping on the toes of the ecosystem companies, it was not a walk in the park to get approval for the hiring of two C++-focused devs.

LibreOffice contributors can influence how the foundation operates by becoming members of the foundation and voting in director elections or becoming elected into the board of directors.

I am mentoring over 120 new volunteer contributors per year (most into C++ development or quality assurance). I'm really happy with the workflow I've constructed and you can read more about it here: https://discourse.sustainoss.org/t/how-i-recruit-and-mentor-...

As TDF is a non-profit, cost of labour is certainly an important factor when hiring.
I downloaded a few books ~5 years ago and the quality wasn't that great, it was like reading a reworded tutorial in a random website.

Checking the author is a good call
This is not always possible. Even a functionally simple project like twitter or mastodon could not work without javascript. Heck, even a modern ecommerce store could not work with simple html these days. Modern web applications are interactive and "alive" and simply require front-end application as well and not just plain old html. I would say to go the other way round and figure out how to make vuejs/react apps into web assembly binaries to be run like desktop applications in web browser. The user has no need to see the source code or fiddle with network connectivity.
> The only process I’ve ever seen working is “hmm I have a CPU-bound performance problem (as reported by e.g. Activity Monitor)

I want to be able to do the same for memory bound performance problems.

But the top level tools are stuck in the land of decades ago when CPUs were the bottleneck.
So the unit test is a business case.

All tests should be on business logic - code logic might not fit the business case at all and so that should be a fail.
Any reason why you implemented your own proc macro instead of just using std::panic::Location::caller()? Right now I don't see the advantage of this crate.
Streak for Gmail seems quite interesting.
Yeah, it was a business (model) war. Apple on their part juggled the constant names for hardware acceleration (e.g. video codecs) with every minor OS release for a time with Flash defaulting to software rendering. That’s why you could fry eggs on your Mac trackpad while watching youtube videos if you didn’t keep up with obligatory FP minor version updates.
Fun times….
> As a IRC-chatting teenager in the mid-90s, I am somewhat an expert in emoticons

Username checks out!

(And I completely agree with your last point ^_^)
USD is a file format. It doesn't have anything to do with the underlying graphics APIs. In fact, tailoring your file format to the underlying graphics APIs is pretty dumb. (like glTF specifying OpenGL constants like 9729, 9987, etc.)
Since the Series 2 they have a water-resistance rating of 50 metres under ISO standard 22810:2010. So despite how it affects the warranty it is definitely designed to withstand swimming.

And it does work, I would have over 150 recorded swimming workouts (45 minutes to an hour each) on my Apple Watch SE.
> Declining to call it a motorcycle because the motor is small relative to other motorcycles is little more than snobbery,

At least in my country, it's not a question of engine size but of having a step-through frame. A Vespa with a 300cc engine would usually be called a motor scooter, a CB125R with a 125cc engine is a motorbike.

Of course, my country's parlance is wildly inconsistent. Some motor scooters are also known as 'mopeds' despite not having pedals. E-bikes have motors and pedals, and yet aren't called mopeds or motorbikes. The tax authority considers motor scooters to be motorbikes. Certain motorbike tax bands call the vehicle a 'bicycle'. E-scooters are scooters with motors, yet aren't called motor scooters. 'Bikers' refers to motorcyclists, and 'cyclists' to bicycle riders. And so on.
There is a distinction between a torus and a solid torus

A torus is like an inner tube - an inner void and a big hole in the middle.

A solid torus just has a big hole in the middle, like a donut.

https://en.wikipedia.org/wiki/Solid_torus
Same here, but I let most things replace the current buffer. Magit always fills the frame though.
Come on, you don't really /need/ shelter.
I've worked on quite a few, admittedly large, projects where we simulate nearly all external interfaces.

It is mostly the human that is most expensive to replace with a simulator, apart from simple end-to-end or stress tests.

Is anyone working on a reinforcement learning agent for proper monkey testing? :)
Whilst the core message of your comment I agree with, unit tests are not the only way to achieve this; but there's often blanket statements made about 100% code coverage, and all that nonsense - which really just fetishizes unit testing rather than critically thinking about the goal of a unit-test.

For example, better use of types to make sure applications physically can't get into a bad state will always have better returns in terms of velocity and correctness than checking after the fact with unit-tests. It has the additional benefit of being compositional, unlike unit tests.

This can be done for data representation but also transitions of state, which is all of software engineering outside of IO.
Testers have value.

But that value is not in yet again, before each release, taking a day to run through an excel spreadsheet of checks that should have been long ago automated into a 2-minute run.
I built a speech interface using Chrome speech to text, the OpenAI text completion, and Eleven Labs.

Obviously it didn't have any emotion detection. That's an interesting idea though.

For many applications it might not be especially important at least to get core functionality.

I suppose you could train a speech to text model with a dataset that included annotations about emotions or something.
Looking it up I think you are right. I thought it was inexpensive.
Also, the gradients of "softmax loss" and mean-square-error loss are the same. The network learns to optimize the same function, up until the output activation.
Chandrayaan-3 Soft-landing [video]
I am from Sweden and I switched job like 4 months ago, and now I am switching again because I am relocating to South-East Asia to work an international company (their process lasted like 2 months but there were large caps between interviews). In Sweden maybe my interview to application rate was 60% or so, and I only applied to roles that I felt were relevant to my skillset (TS, JS, node, react, python). My background is bachelor's and master's degree in CS and 4 years of experience in what I would call a high growth startup.

Tbh I think one major reason I got this job was that I can communicate fluently in english, both written and spoken, and they want that people can communicate with the possible stakeholders because the company language is English. Many of the interviewers said my communication was very good, as I just spoke my thoughts aloud and explained everything.

They said that large portion of the candidates can barely understand what the Leetcode question asks and spend long time just reading, also most people take 30+ minutes to fill two functions that is just basically react setState (and they have react in their CV). I was quite surprised really.

Although, if I had USA salary, the decision would be more difficult for sure, but now it is obvious. My visa is being processed now, and my plan is to stay at least until I get PR in the said country.

The job market seems particularly bad in the USA from what I have read, in Sweden it is much worse than before but I would not say as bad as USA, but obviously the salary isn't as great either. We can hope the market gets better..

If nothing is holding you down and it is looking really bad, it might be worth looking abroad if you can accept the lower salary but also relatively lower costs. I also had some interviews in Japan and quite a few companies there seem to be willing to sponsor the visa and take care of that, also the interviews not as hard as American companies. The more global companies like LINE etc seem to have relatively ok salaries compared to the local companies, and the culture is not as bad.
that's an awesome repo! We just announced our seed round today, cool coincidence :D
Your argument supports the idea of getting rid of the lock file and instead committing the hash in the original dependencies file - so that it's never an automatic process to update the hashes/versions.
ElevenLabs Introduces Eleven Multilingual v2 Supporting 28 Languages
Show HN: Clint LLM – An Interactive Medical Information and Reasoning Tool
Clint enables a user to have an interactive dialogue about medical conditions, symptoms, or simply to ask medical questions. Clint helps connect regular health concerns with complex medical information. It does this by converting colloquial language into medical terms, gathering and understanding information from medical resources, and presenting this information back to the user in an easy-to-understand way.

One of the key features of Clint is that its processing is local. It's served using GitHub pages and utilizes the user's OpenAI API key to make requests to directly to GPT. All processing, except for that done by the LLM, happens in the user's browser.

I recently had a need to lookup detailed medical information and found myself spending a lot of time translating my understanding into the medical domain, then again trying to comprehend the medical terms. That gave me the idea that this could be a task for an LLM.

The result is Clint. It's a proof-of-concept. I currently have no further plans for the tool. If it is useful to you as-is, great! If it is useful only to help share some ideas, that's fine too.
12 applications feels quite low in the current market
16 years ago, a larger portion of 60K would have been in higher brackets. Still, I don't see how you'd pay 40% in taxes.. did you perhaps get some of that back after filing your taxes?

I don't think there's a single state where you can pay 40% (or even 30%) of a 60K salary in taxes. Maybe at 120K
There are other books in the literature that mainly focus on how to go about proving things rather than proving specific things.

Some titles that come up are:

Mathematical Proofs: A transition to Advanced Mathematics by Chartrand, Polimeni and Zhang.

Book of Proof: Richard Hammack

Jay Cumming’s Proofs

I remember I once had a book that advertised itself as a book on Discrete Mathematics but it turned out to be more in line with the titles above, was a gem, if I find it I'll let you know.

But it's nice to see I'm not the only guy who gets a kick out of this stuff.

I wouldn't bother with things from the foundations of mathematics area, like Russel or Frege and whoever else came from that era, back when people still wrote an 800 page treatise on what a "number" even is. A lot of the material coming from that period seems to have been thrown down the drain.
I like it, but isn’t it supposed to be a video archive?
Eight, for me. Once you can fit packed spheres between each other in the norma "pyramid" configuration, my intuition breaks down. It should probably be true about four dimensions as well but I'm overconfident
I also had two mirrored drives fail simultaneously in my zpool a few days ago. There was nothing on them so I wasn't worried. WD Reds in my case;

Using matched drives seems to be a very bad idea for mirrors. I'll probably replace them with two different brands.

I also have a matched pair of HGST SAS Helium drives in the same backplane so hopefully I can catch those before they fail too if they're going to go at once, I _do_ have data on those.
You can do that by hand writing the number in factorial base: https://en.wikipedia.org/wiki/Factorial_number_system
You can say that about libraries, or any NIH code.
You can just use the GUI to save a call for a script or a set of commands. Those will be available in the GUI afterwards as well.
Sorry, I should probably have stated that since the beginning. I am native I just was surprised about 5 cases. I've never heard about the 2 latter one you've mentioned. I've been told in school that male is just male, doesn't matter it it's person or object. But I am engineer, not a linguist so it may be as you say. Either way, interesting. Thanks for sharing.
Whether baklava is Greek or Turkish or Syrian is a silly question because none of those countries are even 300 years old.

But Greek restaurants were the first to arrive in Western cities so that's how the world sees it.
The Tao Te Ching itself is the best introduction to philosophical Taoism (the religion is something else). Perhaps certain passages can be obscure, but they reveal their meaning in time.

Take a look for yourself https://terebess.hu/english/tao/gia.html
> You can have 100% unit test code coverage and your code can still be absolute sh*t and do absolutely nothing useful.

Totally true. But give me those unit tests, and I can tell that the code is sh*t.

If I have trouble understanding the source, it could be because it's doing complicated stuff. It could be highly optimized. It could I'm too dumb.

If I have trouble understanding the unit tests demonstrating what the code does, there is either something wrong with the tests or the implementation. Fix it, rinse repeat.

I wasn't saying that unit tests or code coverage are a panacea or that TDD guarantees great code. But it's a tool. It's better than writing documentation, but it serves more or less the same purpose. Sometimes it's useful, sometimes not. And its complete absence is usually a bad smell.

I think Michael Feather's book demonstrates how code improves by simply making it testable https://www.oreilly.com/library/view/working-effectively-wit...
I would interpret it as "leaving for Taco Bell"
Had the same experience w/ the Apple Watch Ultra. I realized the main way I'm using the watch is as a stopwatch when I'm at the gym. For fun -- let's do a quick comparison:

Cheap Casio Watch:

- Never have to charge it

- Continuously shows me the minutes and seconds on the stopwatch

$700 Apple Watch Ultra:

- Needs to be re-charged daily

- Refuses to offer a minutes and seconds mode for more than 10-15 seconds at a time (it will keep counting, but will just show the minutes unless you continuously keep raising your wrist)

- Refuses to offer a settings option to adjust the above behavior (presumably because Apple's UI in general is basically "would you like 5 minutes, 10 minutes, or 60 minutes?" with very little thought given to the idea you might be able to actually comprehend how many minutes you want and that it might not be one of the Cupertino options)

Also since I'm already rambling -- just to ramble a bit more:

- Receiving "now's a good time to be mindful" or "time to take a break and stand up" alerts while I'm driving and (maybe because of the specific distance from my house) particularly when I'm about to merge onto the nearest freeway .... when the watch has a GPS and knows how fast I've been moving and where I am ... kinda leaves me speechless.

To balance:

It is still useful overall for seeing Maps directions displayed directly on the watch face -- and this would be the major use case for me. But it's enough of a PITA to keep it charged that I generally just use my phone instead anyway.
Time Period Library
When implementing some software for another project, I came across several requirements involving calculations with time periods. These calculations were an important part of the solution and had high demands in respect to the correctness and accuracy of the results...
I have been using Skiff for a month now and so far their service has been great. I love their custom domain & alias feature.

Besides, I want my backup email address to be a non-gmail service to avoid complete vendor lock in.
>Who created the LLM? Whose understanding underpins the LLM?

Who created you? Whose understanding underpins you? Asking these questions about you is as irrelevant as asking it about the LLM.

Just because books, educations your teachers, the internet and your parents and the environment shaped everything you know doesn't preclude your membership into the category of things that are capable of understanding.

>Does it? Or is this a result of the intelligence of the human beings involved in building the LLM?

It does understand you. The intelligence of human beings who built it aren't directly involved as it was trained on external data.

>Did the LLM actually invent anything? Or was this result directly based on you and your intelligence with the recorded knowledge of all the human sources involved in the solution?

Does a human actually invent something or is it directly based on recorded knowledge?

You're asking irrelevant questions. Humans do not create things out of thin air either. Humans also invent things by composing existing knowledge to form concepts. The inventing that LLMs can do is equivalent in totality to our understanding of the word "invent"

>I haven't called it a parlour trick. All I am saying is that there is no intelligence in these systems. Human intelligence built them, but these systems in and of themselves have no intelligence.

Totally false. Not only are you wrong but experts in AI including the father of modern AI disagree with you completely and utterly.

If I copied your brain and replicated exactly that brain is "from human intelligence" but that copy of your brain is still an intelligence independent of it's origins and where it got it's knowledge.

>We do of course build many intelligent systems all the time, they are called children.

It's like you're eating your own logic. We also build intelligent systems called LLMs. Same concept.
> I never understood this craze of removing keys.

There are (roughly) two families of "smaller keyboards".

Those with a big spacebar, and those with multiple thumbkeys.

Big-spacebar-small-keyboards are like laptop keyboards.

Whereas, for other kinds of small keyboards (such as the moonlander or planck) which provide thumbkeys, I'd say the emphasis is more about "bringing the full functionality of the keyboard to within easy reach of the hands" rather than "remove keys for whatever reason".

On traditional keyboards, the thumbs only get to use 1 key. A big spacebar is such an odd and inefficient use of keyboard real estate.

Whereas, with 2-3 keys each, the thumbs can be put to good use. e.g. It's much more comfortable to press backspace with the thumb, than to move your hand (or reach with the pinky finger).
Thank you for this answer!

> I generally recommend retrieval

Yes that's what everyone's saying and it's also what we're working on. I was wondering what fine-tuning may be used for. Are there use cases where fine-tuning might be worth it (esp; given all the hard work it entails)?

> akin to a student taking a test with open notes they can refer to, rather than trying to remember a textbook they read a week ago

Excellent analogy! Thanks!
> In addition, with this crate, you will also get the information that this error was returned in washing_machine.rs:3562. Thanks, I guess?

Yes, that's awesome. I can either dig into the code myself or at least forward it to the project and get a great pinpointed report (at least some of the time). Much better than searching for strings and trying to guess what was parametrized.

This is definitely something that you would want in production/in customer deployments. The only reason not to want this is extremely tight optimization scenarios, where paying the cost of the larger error type is too much (or if you're returning errors on some hot path).
Sharing a technique which helped me a lot.
if you can’t see it, is it real? the boss is probably right here - simplicity is a mirage, it takes a decade to move the needle (like in science), this blogger’s perspective is thoughts and prayers. I say this as an entrepreneur who has dedicated an actual decade of my life to trying to move this needle.
Maybe it will tell us?

Or maybe it will start rambling on about What is consciousness?
Ok, thanks, but do you really need fine tuning for that, can't you tell the model in the prompt?
A few commenters on HN were giving Hector Martin shit and trying to dox Asahi pseudonymous contributors (who clearly did not want to be ID'd). Maybe the popup should have included a bit of detail on that so people such as yourself who aren't aware or involved aren't put off the project. But the animosity they have is understandable.
But in job interviews, at least for me I have been questioned more about React itself than the fundamentals under it
Knees aren't phone cameras
> really what they do is _lean into_ and extend what's already there.

There are already so many features implemented in unix/the web/python/etc that it's easiest just to go along with what is there. For example, csvbase logs to the systemd journal (when run under systemd - stderr otherwise):

https://github.com/calpaterson/csvbase/blob/c1523615f10bbaa7...

One under recognised thing about systemd is that it provides a mini-ELK stack - so now I have indexed, searchable logs that auto-rotate and whatever (the defaults are quite good). I realise a lot of people strongly dislike systemd but I think this is a very nice feature for running services of this scale.

One more shortcut: the backend for the blog is a csvbase table. The "4" in the url here is a csvbase_row_id :)
s/patronizing/paternalistic/
Growing scientific interest in vagus nerve stimulation
You should not get kee problems from walking. Maybe your gait is somewhat unnatural?

Fortunately I never had problems like that but I am sure using barefoot shoes (Fivefinger in my case) improved how I walk. When I am not using those I use zero drop Trailrunners (Altra Lone Peak) which kind of force you to use your front foot more.
I know colloquial usage has changed but I can't get over "vibration dampener" vs "vibration damper".

In olden times, the former would make your phone wet via vibration (how left as an exercise to the reader) while the latter would attenuate or suppress or reduce vibration.

A damper [1] doth damp, dammit.

[1] https://www.merriam-webster.com/dictionary/damper