Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
l__l
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
l__l
24d ago
how does this differ from alternatives like Hardcover, Fable, etc.?
2.
▲
by
l__l
2y ago
This oughtn't be super surprising, even the DE comment at the end - people do just have bits of maths they gel with more than others! Even so, CT is not easy to motivate without a lot of experience in a few specific areas of maths - it
3.
▲
by
l__l
3y ago
I'm surprised to see no mention of topos theory in this page? The sense in which category theory is a generalisation of set theory is pretty weak imo until you bring in concepts like subobject classifiers. This isn't the only thin
4.
▲
by
l__l
3y ago
I know it varies by topic, but my experience asking ChatGPT about things I already know about (eg a smattering of topics in algebra) was bad. Like, bad bad. It got the intuition completely wrong, and asking for more explanation just got you
5.
▲
by
l__l
3y ago
Not commenting on whether it's good/bad, but I think it's completely different to your examples. Both of those say "here is context of my past achievements; this is an indication that what follows may be of high absolute
6.
▲
by
l__l
3y ago
Last I checked this was opt-in on Android; it's been default on iOS since I think 2017ish?
7.
▲
by
l__l
3y ago
I remember using this site for checking my work in a number fields course years ago; I never realised it had so much more Very weird seeing this on the front page
8.
▲
by
l__l
3y ago
That's not the best way to view it. You can prove it by showing that for an n-dimensional disc, there is no contraction to its boundary; which I think is a bit more illustrative of what this FPT is doing
9.
▲
by
l__l
3y ago
Cool! I love collections like this :) A 10-min format and sort (alphabetical or chronological) would make this so much more scanable though
10.
▲
by
l__l
3y ago
Absolutely. In cities which are equipped for it, the small self-driving vehicles make so much more sense, for this reason. Starship ( https://www.starship.xyz/ ) have been running in a big way regularly in Milton Keynes (UK)
11.
▲
by
l__l
3y ago
If anyone is yet to see it, Tantacrul (on youtube) is now deeply involved with MuseScore (UX lead or similar?); he put out an awesome vid on the design of MS4 at the beginning of the year: https://youtu.be/Qct6LKbneKQ His v
12.
▲
by
l__l
3y ago
I honestly don't know. This might be a skill issue on my part (very much not an educator), but I think of it as a language for thinking about structural abstraction, so to me the question is akin to "is there a real-life problem t
13.
▲
by
l__l
3y ago
This is my field :) Category theory is about connecting the dots between different areas of maths. The "general application" is to allow you to reason over the structure of a problem you're interested in, while throwing away
14.
▲
by
l__l
3y ago
This makes the same mistake being called out in the comment you're replying to. The point isn't about the mechanics of solving a differential equation, it's about gathering the intuition about a way of approaching problems. (
15.
▲
by
l__l
3y ago
Not a solution but FWIW, in my time working at Apple, they encouraged you to log in to work devices with your personal ID (with the expectation you don't allow files to sync). There were some people who kept them apart, but the overwhe
16.
▲
by
l__l
3y ago
And Exponential Idle!! https://conicgames.github.io/exponentialidle/
17.
▲
by
l__l
3y ago
Honestly I just think the concept of Son/Radarr doesn't translate well to music, I find Lidarr fiddly in general. In particular I'd add to your list that the overnight scans to update cover art are an absolute mess. It's
18.
▲
by
l__l
3y ago
I'm don't think this dichotomy is at all fair. Just because someone makes a piece of software public does not mean they want it freely copied, and I think that can be a completely reasonable stance to have. I'm struggling to
19.
▲
by
l__l
3y ago
The point here is that this isn't some example from a textbook or even stack overflow, but licensed pieces of work with all the legal complications that come with that. This is about the potential use of this code in proprietary code (
20.
▲
by
l__l
3y ago
Even from this page there appears to be a fair bit missing. E.g. one of the biggest UK gov orgs is @alphagov (~1.6k repos), which I can't seem to see on your dash?
21.
▲
by
l__l
3y ago
> Today's developers didn't learn binary before learning Python, why should you learn how to code without the most modern tools? This phrasing makes me wary. There's a difference between being self-taught, and not even bot
22.
▲
by
l__l
3y ago
I genuinely think this is a UK/US thing (limiting to those countries because that's the limited experience I have); in the UK this is absolutely true. There is a definite cultural thing going on where people play down how much eff
23.
▲
by
l__l
3y ago
Well this is wildly wrong. Scales, arpeggios, etc. are taught not just for the theoretical understanding they help with but because they occur VERY frequently in actual pieces
24.
▲
by
l__l
3y ago
Sure, but they also take an extraordinary amount of money from taxpayers. Also, there are issues over whether they own everything they make money from (e.g., properties, and recently a large number of official state gifts). I'd say the
25.
▲
by
l__l
3y ago
I absolutely love Xmonad, and I'm very impressed by how easy its architecture makes it to get complex changes to your environment off the ground. It's a godsend in terms of interfacing with the box, mostly because its configuratio
26.
▲
by
l__l
3y ago
Huh? This isn't making a lot of sense to me. Why do you say the rationals aren't much better then floats? In situations like this surely we absolutely want to be working in the rationals, and they're a very easy way to do the
27.
▲
DraculaDaily – It's almost May; Get Dracula via email, as it happens
(draculadaily.substack.com)
1 points
by
l__l
3y ago
|
0 comments
28.
▲
by
l__l
3y ago
I would avoid flash cards. A few tangible steps you could take: - Play and read lots of sheet music. Especially by sight. It will come, I promise :) - Complete Ear Trainer is hands down the best aural training aid out there. Be warned, it i
29.
▲
by
l__l
4y ago
So I come at this from a mathematical background --- graduate student in categorical algebra --- but I've done a couple years of SWE work, so I'm not unsympathetic to this point of view. The way I see it, when you want to reason a
30.
▲
by
l__l
4y ago
There was discussion of this a while back on reddit: https://www.reddit.com/r/BrilliantLightPower/comments/ffnnxw... Sounds like the arxiv author may be greatly exaggerating or misunderstanding, but I'm
More ›