Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
david_allison
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
31.
▲
by
david_allison
7mo ago
Might as well start with the source code[0] and dig deeper: * CMAS https://en.wikipedia.org/wiki/Wireless_Emergency_Alerts * ETWS Earthquake and Tsunami Warning System [0] https://cs.android.com/android
32.
▲
by
david_allison
7mo ago
As an eligible maintainer: absolutely. In the past week (besides the constant slop), there are models which have misattributed the copyright of new files to me, and stripped my copyright from existing files. It's sapping up time, energ
33.
▲
by
david_allison
7mo ago
I provided a spam email chain from a user with a linked GitHub profile, stating that they obtained my email from my GitHub profile. GP [martinwoodward] states: > This type of behaviour is explicitly against the GitHub terms of service, w
34.
▲
by
david_allison
7mo ago
If used/implemented correctly, they don't. * This is an optional feature via git config, with a further GitHub setting to reject commits pushed using your personal email address. * If the GitHub setting is disabled, some GitHub-ge
35.
▲
by
david_allison
7mo ago
To confirm: is this email spammers, or spam on GitHub? I've had decent success with on-GitHub action (I'd wager ~80% action taken), but the effort to report email spammers doesn't seem worthwhile.
36.
▲
by
david_allison
7mo ago
> when we catch the accounts doing this we can (and do) take action against those accounts including banning the accounts. This isn't my experience. I requested that you looked into a spammer in July 2025, you ignored my reply and t
37.
▲
by
david_allison
7mo ago
They already do[0] 62114487+david-allison@users.noreply.github.com this includes a unique ID which survives account renames, and the name of the GitHub account at the time. [0] https://docs.github.com/en/accoun
38.
▲
by
david_allison
8mo ago
AI changes little here. It was never guaranteed that an author was available to contact regarding a past PR. Merging a PR from a non-established contributor is often taking on responsibility for the long-term maintenance of their code.
39.
▲
by
david_allison
8mo ago
CodeQL has been disappointing with Kotlin, it lagged behind the official releases by about two months, blocking our update to Kotlin 2.3.0 https://kotlinlang.org/docs/whatsnew23.html https://github.com/
40.
▲
by
david_allison
8mo ago
This is the Discord server which AnkiDroid has used for dev for just under 6 years. Nothing AnkiHub related.
41.
▲
by
david_allison
8mo ago
That's not the way the world works. I'm not in it for the money. In the past 12 months, I've made £65.79 from GitHub Sponsors (no fees, thank you GitHub/Microsoft) and $87.89 from Patreon (pre-fees, I'll probably se
42.
▲
by
david_allison
8mo ago
The page is on GitHub: https://github.com/ankitects/anki-manual/blob/main/src/sync-... Full disclaimer - it's a feature which AnkiDroid supports, but isn't one which I use.
43.
▲
by
david_allison
8mo ago
It's available on AnkiDroid: Main menu -> Manage note types.
44.
▲
by
david_allison
8mo ago
Notifications work extremely badly. We've got a setting [developer options only] which completely reimplements them, it won't be live for 2.24, but hopefully 2.25 https://github.com/ericli3690/gsoc-ankidroid-r
45.
▲
by
david_allison
8mo ago
> They showed me the Chinese characters and asked me what the English translation is. I was incredulous about how many wrong decks there are and that I could not find good decks. You can edit the structure of the card templates so they&#
46.
▲
by
david_allison
8mo ago
Hey, could you put in an issue, especially regarding the pain points, but also including what 'seems unusual': https://github.com/ankidroid/Anki-Android It's mostly due to time/resource/technic
47.
▲
by
david_allison
8mo ago
> - AnkiDroid is a separate open source project (an Android app). The corporation is hiring the main developer, but it's not yet clear to me whether they're just going to get paid to work more on AnkiDroid or if they're al
48.
▲
by
david_allison
8mo ago
Try docker: https://github.com/ankitects/anki/tree/main/docs/syncserver#...
49.
▲
by
david_allison
8mo ago
It was my understanding that the backups are unencrypted. Is that still the case?
50.
▲
by
david_allison
9mo ago
They offered T-Shirts in 2025
51.
▲
by
david_allison
10mo ago
I'm co-maintaining an open source Android app (primarily Kotlin, with Svelte & Rust). I'd be happy to mentor in 2026. Feel free to get in touch if you're interested: https://github.com/ankidroid/Anki-
52.
▲
by
david_allison
10mo ago
The Rust backend code is shared between all platforms (Desktop, Android, iOS and Web). This wasn't feasible with the Python code. From an Android (AnkiDroid) perspective, it's allowed us to remove most of our code which was manual
53.
▲
by
david_allison
11mo ago
> Genuine question: if I train my model with copyleft material, how do you prove I did? It may produce it when asked https://chatgpt.com/share/678e3306-c188-8002-a26c-ac1f32fee4...
54.
▲
by
david_allison
11mo ago
> The data subject shall have the right not to be subject to a decision based solely on automated processing, including profiling, which produces legal effects concerning him or her or similarly significantly affects him or her. https:&
55.
▲
by
david_allison
1y ago
YouTube Music isn't available in all countries which Google Play Music was available in. My music was deleted.
56.
▲
by
david_allison
1y ago
In April, I switched to Microsoft 365 Personal Classic which doesn't contain Copilot. Has this been discontinued?
57.
▲
by
david_allison
1y ago
> I got into tech because I wanted to help make the world better, not worse. I can confidentially say after working in the industry for over 20 years, that it doesn't do that. That's not what it is. It's not what it's
58.
▲
by
david_allison
1y ago
Some devices don't have browsers, some are locked-down and only support one app store, or sideloading via adb, sometimes the UX is better (SideQuest for the Meta Quest).
59.
▲
by
david_allison
1y ago
> EU or US? Neither, sadly. Thanks for the link. I have neither the time nor inclination to be a figurehead, but I can have conversations once I feel there's a reasonable/achievable outcome. I'll put some thought into it.
60.
▲
by
david_allison
1y ago
Hi, developer of a top-rated app in the Play Store [AnkiDroid]. What do I need to do to make a difference, and how much time will this take? [My elected officials listen, what's the path? Legislation?]
More ›