skysight-inc/HackerNews huggingface dataset:
This is very interesting and I agree that creating a knowledge base in obsidian (or org mode) is veey nice but requires a lot of effort. So anything that makes it easier and more automatic is a win.

Having said that, in my experiments with CodeMic, I started to realize more and more how important the editing process is in order to create polished consumable content. My goal is to get as close as possible to 3blue1brown level of clarity but for programming content. So far this has required to focus more on editing part of CodeMic: cut, merge, insert, speed up/down etc.

So if you log everything, then I think the problem becomes how to make sense of all that content from all the noise. I'd love to hear your ideas on that. Feel free to email me :)
On Android, the date picker widget is fiddly to use for selecting distant dates, like date of birth. Not impossible but requires many many taps.
MSN = Prof. Dr. "Renominative": https://csc.knu.ua/uk/person/nikitchenko (has my citation-fu been too weak to lead me to your intended referent?)

Very far (tho I have some other, derivative-like, concepts, but much fuzzier)...

"Refinement" in this case is a CS term of art, sorry: to say that "f refines g" is to say that f's domain[0] includes g's domain, and each fibre of g^-1 includes the equivalent fibre of f^-1, so anywhere in a computation you had a g, it could safely (although not always lively![1]) be replaced with f. In particular, programs as deterministic implementations refine their indeterministic specifications.

(the best specification[2] is the closest to chaos that one can get that still does the right thing — which I guess loops back to leadership?)

The optimiser's (pedantry: we really should call it an "amelioriser") job is to reverse one of those arrows, so when the programmer writes f, the optimiser tries to discern the comm... sorry, programmer's intent to determine the spec h which coarsens f, and then substitute a g which also refines h: f <- h -> g.

[0] here JUNK simplifies by using an appropriate lattice: as Nuts (the undefined/unconstrained value) includes (~ = is included by) all defined values, we don't need to speak separately of domains: f \refines g <=> f`x ~ g`x

[1] there is a term of art from our army which refers to the art of making oneself scarce when tasks are being handed out; similarly, in CS there is a distinction between "safety" and "liveness": nothing is always a safe, albeit unproductive, thing to do.

[2] on the dual end of the lattice, in general there will be many programs in the neighbourhood of the maximally determinate that still makes progress. This is why, if we have a "science" at the spec end, when it comes to imps we instead have an "art" of hacking or a "discipline" of engineering.
1) coordinate acceleration from gravity doesn’t make one not in an inertial reference frame?

2) Why would something have to be in an inertial reference frame in order for inertial reference frames to “exist”? Doesn’t make sense to me.

In any case, that seems like just an excuse to ignore Lorentz boosts. One should address SR before addressing GR.

3) If spacetime were stuff, then it would be stuff always, not just when there are ripples or whatnot. But, in flat spacetime, you cannot describe it as a stuff in a way that is compatible with Lorentz symmetry, because the velocity of stuff changes under boosts, and so stuff can’t be stationary both when one doesn’t and when one does apply a boost. Therefore, it isn’t stuff.
When returning an error, you can fill the input values in your HTML response.

Indeed the most pleasant UX is to set an additional validation logic on the client side and I don’t think this should the go-to solution.
The concept you're looking for is desirable difficulty, not too hard but not too easy either.
I think the experience of building something atop a framework should absolutely have bearing on how to build the underlying framework.
What are the closest Emacs packages and flows for something similar to Cursor? Is the ability to use a tab in this way something that can be simply instructed or finetuned?
Expecting a boom in the speech-to-speech market in the following months. It's the next thing.
It doesn't help that even if I wanted one, none are available at msrp or below
Eric Hebborn (https://en.m.wikipedia.org/wiki/Eric_Hebborn) wrote "Italico per Italiani" (available in Italian only, alas https://www.amazon.co.uk/Italico-italiani-moderno-trattato-c...) as a textbook/manual to improve day-to-day, practical calligraphy.
Maybe there is something similar in other languages too...
Numerical Methods already made it pointless for me to learn how to solve different kinds of integrals.

I don't need to master any of the dozens symbolic integration techniques.

I am not sacred of any equation looking too complex to solve.

I just write less than 30 lines of python and have the solution to the problem via numerical methods.

At the end of the day what I care about is that answers, not symbolic techniques.
Nit: That's not the defining property of capitalism. The defining property of capitalism is that the means of production are privately owned, as opposed to e.g. market socialism.
I have been eyeing up https://atlasgo.io/ - I am going to give it a whirl soon.
"Generally accepted" is nearly impossible to discern from an individual standpoint. I prefer Wittgenstein's stance that you should essentially accept uncertainty that you refer to the same world/concepts/knowledge that others do and engage in good faith efforts to communicate the best you can. This amounts to the same thing but it's not weighted towards some (likely wildly incorrect) subjective viewpoint of the general population.
Didn't sublime text have this with snippets? I vaguely recall setting some up with tab stops for the parts that need manual completion.

Not AI, but it was nice to have back 10-ish or whatever years ago.
Cursor is pretty uniqe and advanced in this regard. They tell a lot about this in the Lex Fridman podcast, very interesting.
Sure. From their employer, not from their customer.
It works really well for me, but I wish it supported more languages for the input - i guess this is a limitation of the model you are using? Do you mind giving some info about the tech stack? I love how fast it is.
Rust used to have a GC in the past, as well as green threads and a bigger runtime. All of this has been explicitly removed before Rust 1.0. The reasons are well documented in many pull requests and RFCs for the language.

The way the async feature works in Rust is that the asynchronous function is just a syntax sugar that gets desugared into a state machine struct during compilation. The way this state machine works is similar to how one could achieve async in a language like C. It's unfair to dismiss everything as excuses given that the fundamental aim of the language is different.

In Rust async functions are not really colored because again - the async function is just a syntax sugar for a struct you can create and use in a sync context. The colors analogy is only really applicable in a language like JavaScript, where there's no way to poll an async function in a sync context.
My Levine backlog has grown to the size of multiple novels by now; but I guess I consider Derek's dunking on people in his replies as similar in spirit to Levine's making fun of weird crypto stuff and NFTs?

Sure, one is less personal, but the ~ vibe ~ doesn't seem that much different. That's one of the things that makes reading Money Stuff so fun!
I recently purchased a small refrigerator whiteboard and it's been really amazing with the combination of my iPhone's ability to take a picture of my handwriting (script or cursive) and copy/pasta into a text. It's not always perfect (nor is my handwriting!) but it's good enough to just replace a character or two and hit send.

This really tickles a bunch of things for me:

1) I am not sending a whole image (it's efficient)

2) I don't have to type/swipe at all (I'm not looking at a screen)

3) My s/o has easy access to the list at all times (it's not in a cloud)

4) It requires no power to update/maintain (markers last a long time)

5) It just feels so natural to grab a marker and write on the fridge when I exhaust something in that same fridge.
At the college I went to there was a class that involved solving differential equations in Simulink. The exams involved mostly creating diagrams on how the variables were related. The only prerequisite for that class was Calculus 2 so only a conceptual knowledge of Calculus was needed
Completely agreed. Don’t be afraid to embrace this. You have to give it an active month until it starts to work in your hands though.
One reason I have heard about is implicit labelling doesn't work with all voice control tech, including macOS voice control[1]

[1] https://a11ysupport.io/tests/html_label_element_implicit
That just means that it wasn't about money for him.
Good idea but skip the acetone!
Loved the game (superb voice acting by Daisy May), reading the book now. The studio also sells a sweet snow globe, highly recommend! https://store.11bitstudios.com/product/snow-globe-the-invinc...
One problem with unbounded capitalism is that people can’t understand how big big numbers are. They think of themselves but slightly richer. So of course people should be able to accumulate the wealth of a city or a country, and there’s no negative aspect to that at all. They just worked like we do. And they should get gains on their wealth just like we do for our retirement. There’s no difference except a couple of zeros.
I'd say the line was drawn badly. I'm not surprised it was drawn in a way to basically make companies the sorts of lazy moderators that are commonly complained about, all while profiting billions from it.

Loopholes would exist, but the spirit of 230 seemed to be that moderation of every uploaded piece of content was bound to not represent the platform. Enforcing private rules that represents the platforms will seems to go against that point.
Agreed with added experience of mine: sometimes Cursos gives me a simpler yet perfect solution. And I am grateful for it.
Cursor has 10K tokens context window. Which is quite low compared to the top LLMs.

https://forum.cursor.com/t/capped-at-10k-context-no-matter-a...
Startups should hire recruiters much sooner than they think
A simple no-code tool to streamline AI workflows
The Story

I am working on a project that aims to allow everyone to harness AI models in their daily workflows without a single line of code. This has been somewhat of an organic development, as I started building this for my own startup. We are bootstrapped and can't yet allow to automate mundane tasks through hiring extra people. So, I had a simple idea - outsource content moderation and other repetitive tasks well suited for LLMs to AI. I initially started coding directly in our codebase. It was tedious. I had to build everything from scratch and changes meant I needed to change the source code. Then it dawned on me I can't be the only one. And, here we are, building a tool that will streamline this whole process and allow everyone in our organization to contribute without writing a single line of code.

Who This is For

Startups, Scaleups, Micro businesses, Freelancers - everyone who can't yet afford to code this on their own. Let's not fool ourselves - all the big ones are doing this in-house, because they can afford it.

Who This is Not For

This tool is not for the super advanced technical teams where even the office cat can whip up a web server in three lines of code with bun. These guys will use n8n or some more advanced tool that has more capabilities, but cannot realistically be utilised by people who don't have a technical background.

There are a few planned advantages here:

1. Unlimited models and providers - use openai, groq, anthropic + more coming soon.
2. No annoying usage limits - use your own API keys and pay as you go
3. Say 'Goodbye' to multiple subscriptions of $20/month each - you only pay for what you use
4. Create assistants that you can use with any provider, model, and your own data
5. Extensibility - if you're more of an advanced user (I am looking at you, technical founders), access all assistants, providers, and models through simple API access.

So, it's a simple idea - automate the mundane stuff with AI the simple way.

I am just looking for feedback. I want to gauge the interest and find out, if other people would really benefit from such a tool.

N.B.: This is still in an early phase of development. Not production ready.
If they grasp how gravity is "decaying" because things are in orbit then they've failed to understand both orbital mechanics and how gravity drops off at distance.
Which only means he was a 'disaster' from the speculative trader's perspective.

Stock trading has no benefit to a company unless they need to go to the markets for another round of funding, which Microsoft didn't.
The intuition and general concept can be taught without differentiating or integrating by hand but what calculus is can only be understood by doing it.
I’m doing an experiment in this in real time: I’ve got a bunch of top-flight junior folks, all former Jane and Google and Galois and shit, but all like 24.

I’ve also been logging every interaction with an LLM and the exit status of the build on every mtime of every language mode file and all the metadata: I can easily plot when I lean on the thing and when I came out ahead, I can tag diffs that broke CI. I’m measuring it.

My conclusion is that I value LLMs for coding in exact the same way that the kids do: you have to break Google in order for me to give a fuck about Sonnet.

LLMs seem like magic unless you remember when search worked.
now i need something that pseudonyms my pdfs/input in the first step
How my 14 year-old Instagram handle @javier was stolen
This last month I decided to try the Jetbrain equivalent of Cursor, for their IDEs (https://www.jetbrains.com/ai/). It's a pluging well integrated in the code editor that you can easily summon.

I work in Rust and I had to start working with several new libraries this month. One example of them is `proptest-rs`, a rust property testing library that defines a whole new grammar to define the tests. I am 100% sure that I spent much less time to get on-boarded with the librariy's best practices and usages. I just quickly went through their book (to learn the vocabulary) and asked the AI to generate the code itself. I was very surprised that it did not do any mistakes, considering that sort of weird custom grammar of the lib. I will at least keep trying for another months.
I would love experimentation and innovation in this direction.

I see students solving complex differentiation and integration problems without understanding what's going on, or being able to apply calculus to the real world problems.

I also wish for Lagrangian Mechanics to be the default instead of Newtonian in middle and high school. In my understanding, the core thing in the way is that Lagrangian uses calculus much more prominantly than Newtonian. Being able to teach calculus in a simpler way could be useful for that too.
Isn’t this what spawn_blocking and block_in_place do?
You never tried to await from within a synchronous function? There's stuff that you just can't do with Rust's approach to concurrency, that would be trivial if we allowed some limited cost abstractions (e.g. thunking the future in this case). Or just make all functions asynchronous but eliminate the state machine if it contains no yields.

The whole point of higher level abstractions is making it so that developers don't have to think about stuff. It's what I love about Rust: with the borrow checker, I know that if it compiles then I am not going to be accessing mutable or already freed state. The language and the compiler get more complicated so that I don't have to think about stuff.

Rust didn't go that way with concurrency. They instead opted to push that complexity (thinking about what a Future is or isn't) onto the developer. YOU have to think about "should this API call be async?" instead of letting the downstream user decide that.
And then bickering over territory within themselves, and following it up by celebrating an independence day! Only a white man
> LLMs seem like magic unless you remember when search worked.

Yikes. I didn’t even think about this, but it’s true.

I’m looking for the kinds of answers that Google used to surface from stack overflow
Flutter has its own language (Dart) which I suspect is included in these stats.
Hopefully nothing, posix is, or at least it should be, a descriptive standard. This is why posix is so terrible, and why posix is so great.

The way I feel posix, and other descriptive standards work best is when they describe what every one is already doing. This is opposed to prescriptive standards which try focus on how the "correct" way to do somthing, prescriptive standards tend to be over engineered and may or may not actually work.

see also: descriptive and prescriptive dictionaries. http://www.englishplus.com/news/news1100.htm
I can see a situation where the bills are auto-paid from the same account that receives the subscription income. In theory, it can run forever if it needs no maintenance and it's a SaaS that is a basic need but it's a pain to achieve on your local computer. I can't think of a case but it's possible. There are still websites from the 90s that are running today that look and function as they did then.
There must be upsides to reducing the quantity of real-life celebrity actors mustn't there?
Ballmer would never have put honest-to-God advertisements in Windows Solitaire.
With this unrealistic ion thruster method they estimate 13 years, whilst the realistic solar sail Turyshev method, which is actually planned, needs 17 years. Just the payload is much less.

This is pure science fiction, with no real practical benefit.
I used to write those fancy textboxes that reformatted your input as a phone number as you type, and intercept paste, and all that.

But then it turns out that you really do want a free-form text input. Let people paste text in, edit their text freely, then let it validate afterwards. When it validates, then reformat it.

For example, text boxes with length limits. These are awful. It messes with your ability to paste something in, then edit it down to the correct length.
Yeah that's why everyone is smoking and drinking.
This is incredibly, even blatantly misleading. Singapore does not execute people for marijuana possession. It has executed a handful of heroin traffickers. Maybe worry about your own failed state before spreading lies about others.
The other comment implied it but I think it's worth pointing out that:

> embedded applications that can't have asynchronous execution

Is most definitely not the case.

They can't have the same type of async runtime that would be optimal for a web server or the likes (and I'm not sure all desktop applications and web servers are going to always benefit from the same runtime in the same way), but that's a point in favour of Rust's model imho

If you're interested this is an embedded async runtime that's expected to run in no-std and no-alloc environments

https://embassy.dev/
Any thoughts on how does cursor compare to cline (claude.dev) and aider?
Death by a Thousand Roundtables
Theory: Apple uses small design regressions like this as sonar pings, or maybe like tapping the side of a melon to see if it's ripe.

If network effects are "taut" there should not be noticeable consequences to their brand to these small intentional inconveniences. If network effects are slackening, there will be a small, manageable decrease in market share, which can be extracted via some sort of funky fft or something from the overall product-market vibes, providing advance warning of brand damage.
Well, I think the Bing search deal would have been a lot different if Microsoft had owned Yahoo.

Yahoo management was looking to reduce the cost of running web search and advertising platforms, but ended up still having a large expense to crawl the web and basically do web search in order to enhance Bing results. And then the Microsoft ad market managed to be worse in all sorts of ways (for advertisers and publishers) compared to the existing yahoo one, plus Microsoft took a cut of the revenue. Some of that should have been better if it was one company; plus, I bet Microsoft would have sent Yahoo employees an Xbox360 or something. (I worked for Yahoo Travel from 2004-2011)
The US population has gone from 150 million in 1950 to over 350 million. This has been accompanied by a huge migration from rural areas to the city. There is no way house prices could not go up but there is always going to be a limit on how much things increase by before they stop selling because the buyers vanish.

The more interesting question for me is once the baby boomers start dying off and population growth becomes a big fat negative is what will happen to property prices.
There are localized debris fields though.
Enough to poze a hazard for space travel, but it's not the stationary pieces of rock that we see in movies or games. It's usually fast moving objects that make specific useful orbits dangerous.
Do we have an inverse list--not never cryptos, but at least sceptics with a track record? I'll seed the PAC.
What domain/type of software do you and they work on? Cursor has been quite effective for me and many others say the same.

As long as one prompts it properly with sufficient context, reviews the generated code, and asks it to revise as needed, the productivity boost is significant in my experience.
For me, fractional scaling on a HiDPI screen is broken on X11, but works well in Wayland. Here's an example from yesterday: I was playing Factorio full-screen, and some of the GUI elements were too large and wouldn't fit it in the screen. I found a Factorio setting that enabled Wayland, and it instantly fixed the problem. Kudos to Factorio for supporting Wayland! You wouldn't think it was needed for a full screen game, but it was.
Here's the thing though: Rust could have every function be an async state machine, automatically. And then the compiler optimizes away that code when it isn't needed. It would be a big pain to implement, but it's doable, and it would deliver a developer experience much closer to Go's. There isn't a technical reason for why Rust couldn't do this.

FYI you can't poll an async result in a sync context in Rust, either.
>I have never heard anyone not already a Linux user comment on even one of those as a problem

....because Windows and Mac users have not had these problems since 2006?
That's odd. I have been following along here [1] and it seems just as interactive as Svelte, Angular or any of the others I've tried. There might be a few more tools that have to be installed, but that's a one time step.

[1] https://book.leptos.dev/01_introduction.html
Hopefully only if the given app has focus.
Good point. I wasn't aware of that, and I think it should have been mentioned in the blog post.
Election Interference by Russia, China, Iran
Why wouldn't you be able to swap out the concurrency runtime for something else? Or not switch it off entirely when not needed (making the concurrency keyboards into syntax errors)?
Sure. MS had tons of resellers with somewhat different markups, although not that different.

We needed only the basic stuff: Windows Server, Exchange, MSSQL, a bunch of XP licenses. And this all was straightforward. We also got MSDN subscription basically for free.
There's a difference between being frugal and being an asshole.

If you have enough money that tips are a rounding error for you -- not tipping just makes you an asshole.
@shadcn's CLI streamlined the process of adding code snippets. But why stop at UI components ?

I created c0nfig, that aims to automate project setups for developers and library maintainers.

Check out https://dub.sh/c0nfig. Let me know your thoughts.

#javascript #developers