I noticed that a very simplistic LSTM neural network model is able to learn very quickly all the rules of pronunciation ex:

- grapheme "EA" in “please” or "heat" is pronounced one way

- but grapheme "EA" in « death » or " bread" is pronounced in a different way

- but grapheme "EA" in "great", "steak", "break" is also pronounced in a different way In fact the neural network is learning the rules and able to guess the pronunciation of word it have never seen before.

This made me try to see

1- what is the minimal number of example the Model need to be trained with to learn all the rules.

2- What is the optimal sequence that rules must be learned ... This can all be discovered and measured easily and accurately by training the model with different training set. I believe this have never been done before, because experimenting with real kid is too slow.

We make the assumption that is something is easy to learn by an LSTM model it will also be easy to learn by a human. (turn out to be true)

There is a lot of design decision that need to be made about how to visually display "grapheme" and let the kid interact with them.

This is just a side project for now but I am in strong need of a UI programmer to partner with!

But in another way this could be a kind of overlay of information. Maybe it shows how words are split, maybe it's to disambiguate different pronunciations of "ea", ... I'm not sure what's the most important added information. But overlaid on the words it might be a kind of scaffolding that makes it easier for kids to successfully read words and gain the practice that makes it possible to remove that scaffolding.

There's a lot to think about there when it comes to reading (not to mention a ton of pedagogical knowledge)... I'm not sure I have the space to be a solid collaborator, but I do find this stuff interesting to talk about sometime...

Disclaimer: yes, I'm affiliated :)

I contribute to Optikey and was involved in OpenVoiceFactory in its first incarnation. Optikey is primarily QWERTY based but does supported the Communikate pagesets - more general OBF support would be a welcome PR! Coughdrop is probably a better fit for your needs, and is open source so free to self-host, though they do offer hosted plans for $.

https://github.com/CoughDrop/coughdrop

Also what kind of art do you make? Im an artist working as a dev as well. I know we're out there but we're a bit rarer than I was expecting.

As for art I love watercolor, gouache, ink and brush. I trained professionally to be an animator so I love cartoons.

I have a 12 year old autistic son. He attends ABA therapy. I am also looking to create tools and apps that can help him communicate better. Also, he's very musical, so I am looking at better ways to help him learn piano (he loves Simply Piano but I want something that let's me define a custom lesson plan based on MIDI files of songs he loves).

I'll ask my wife who is a BCBA to share any studies related. The premise is symbols to help a kid reach from using symbols to letters/words. Right now they print a ton and velcro them to a board and communicate a complicated topic. There are apps out there but they kind of are lacking IMO and hard for a kid to figure out.

Make sure to do a Show HN when you get it far enough!!!

Have thought a lot about this space, too, and identified similar needs. Please connect via email in profile.

The goal: you (any programmer) should be able to use an open-source program, get an idea for a simple tweak, open it up, orient yourself, and make the change you visualized -- all in a single afternoon.

More details: http://akkartik.name/about

What I have so far: https://github.com/akkartik/teliva

Lately I'm spending a lot of time thinking about the sandboxing model. I'm giving a talk about it at FOSDEM this weekend: https://fosdem.org/2022/schedule/event/lastmilesandboxing

As a concrete stress test, consider a file browser like Midnight Commander (https://news.ycombinator.com/item?id=30137864). How would you craft policies for a file browser that give it just the permissions it needs to scan directories and open files, but prevent malicious code that creeps into it from scanning directories or opening files?

I expect if forks become more abundant that the need for trust will be a major driver of merges.

Increasing the number of forks is a long-time goal of mine. Check out the bottom of this old page from a previous project of mine: https://akkartik.github.io/mu1

The goal: a privacy-preserving, standalone fitness assistant on which you can load custom apps.

I always wanted a bicycle computer that I could program, which would help me not gethurt while training, and which would remember where I like to cycle. The modern ecosystem is full of devices, but I haven't seen a programmable one, much less one that can also survive for weeks on battery and wouldn't sell my data.

The moment has finally come, and I found a decent base!

I bought a Bangle.js 2 smart watch and a couple sensors, and have just started adapting it for this purpose. I'll need help getting the Bluetooth stack running, as well as creating an application to download and compare GPS trails.

The project is not formally announced yet, but feel free to contact me over email or Matrix (see profile).

Edit: obligatory mention of Rust as the preferred language ;)

The hardware is a little less to my tastes: the one I picked up has a GPS unit, plus a display that can stay on for days (weeks?) on a single battery charge, plus it's readable in the sunlight.

Otherwise I think there will be a fair share of software reuse between the projects.

Hypothetically, if I could access only the sites visited by the HN crowd, that would be fine by me. Somebody in an art community might feel similarly. If there were some metric the crawlers could use to rate a page (time spent on page, manually downvote, etc), then the signal/noise ratio would be really good.

Obviously if I wanted to do a really broad search, I'd use a typical search engine, but if it's tech related, I wouldn't mind pages that have been browsed by HN.

That might be a good first step towards what you're planning. Step two would then be figuring out how to do federated queries across users with similar interests.

From a privacy standpoint, I'd be less uncomfortable letting random strangers run (sanitized) queries against my browsing history (stored locally), than I would be uploading my browser history to a third party.

Take that idea and evolve it into a federated search service. If your site is in the "fishing" ring then your pages get indexed into the fishing index and the search widget on your site would potentially return results from all the sites in the same ring.

I guess I want SearchRing.

That being said, I think YaCy looks dated, the website has several typos, and I get the impression that not many people are still active in the network. I feel that a new project with similar technology in a "hotter" language (just for popularity's sake) could get a lot more traction.

[1] https://yacy.net/

https://notrashsearch.github.io/about.html might help (https://news.ycombinator.com/item?id=29774456)

There's also https://search.marginalia.nu/ (https://news.ycombinator.com/item?id=28550764)

https://en.wikipedia.org/wiki/Digg

I'm starting a static web host where every page is remixable by default.

One click and you have a copy of any web page hosted on the platform.

Not only that, but the front-end code (HTML, CSS, JS) is treated as the source of truth. Whatever changes the owner makes to a page (through DevTools, some custom JS, or clicking a button that does something) is saved permanently to the DB.

This makes it possible for front-end devs to create interactive applications just by adding a JS plugin to the page.

I'm hoping projects like this idea will lead to a renaissance of blogs, personal websites, and remixable apps that push our normal conception of what a website is to the breaking point.

(Email in my profile if you want to discuss. This is a new project I haven't started yet.)

There still seems to be a lot of interesting creative content out there, but it doesn't play by google and social media's rules, so what you find is listicles, blogspam, click funnels, various forms of low effort crap made in bad faith.

Here are just a few links to websites I've found that I thought were interesting (I'm not affiliated with any of them). Tell me, when was the last time you saw that type of stuff on google, facebook, or reddit, or twitter, or HN?

http://sod.jodi.org/index.html

https://dreamcult.xyz/

https://www.floppyswop.co.uk/

http://godxiliary.com/

https://dannarchy.com/

https://www.toiletpapermagazine.org/

I think it should be possible to build something genuinely useful in this space. I'm not exactly sure how or what, so I'm still experimenting with various ways of bringing audiences to websites off the beaten path, but it feels like I'm closing in on something.

I've been approaching this in a sort of independent R&D fashion, just trying things and seeing what sticks. If anyone is into this general space, maybe shoot me an email. Not really sure what's a good format for collaboration though.

The web has gotten boring.

This is so true. Before it was boring, it was hard to use, though. I think that's why the federated/decentralized/indie stuff still struggles to find mindshare.

If I want to see an older version of the page I like: click click click I have a (like really) permalink

If I wanna modify a page that someone else made, fork and edit!

It's like Github, but for our pages!

(too many exclamations smh)

The product seems less ‘the web has gotten boring’ and more ‘we are low code development’ — a happy fun place between no code development and the normal overly complex web development of today.

Which funny enough, I think your audience/clients are best for actually big boring development via some enterprise clients who require stricter security rules or giant less skilled employees with occasional custom requirement (imagine a big painful US gov type organization). I don’t see this getting hobbyists but easily could be wrong.

Cheers and congrats. Really cool stuff! Excited to see where you land.

I called it MIXINT for remixable interface. It's abandoneware now but IMO a pretty good vanilla-JS approach to window panes with class-sensitive menus. see github for code and manic dreams in the readme [0] and video of the interface swapping out one class of window for another [1]

But what I really wanted was to expose the guts of the code in a way that made it easier to edit, and as a protest to JSX I threw together a unified JSON syntax for templates that get rendered into HTML/CSS so that I could write javascript code that returns objects and just build up DOMs that way - but when I started implementing variable substitution and array mapping in my JSON templates, I realized I could do away with the javascript altogether and write entire web pages as declarative JSON, just using a few prefixes that trigger macro expansions, replacing one branch of the tree with another until no more prefixes are left (the eureka moment came when reading about macro expansion in the TRAC language - I was just going to stick to feature parity with Handlebars before realizing I had a bone fide programming language on my hands)

This is all off and on the last 4 years. I'm about to overhaul the years-old homepage with better examples but you can see the concept here [2]. Maybe some of the code would be useful, I'm certainly on board with the mission, I just wish I was better at avoiding those pesky rabbit holes :)

[0] https://github.com/jazzyjackson/MIXINTvNegative1

[1] https://youtu.be/URMHbhK0zrs

[2] https://lookalive.software

https://gcompris.net/index-en.html

https://news.ycombinator.com/item?id=18751739

https://hn.algolia.com/?query=gcompris&sort=byDate&type=comm...

- We have calls with grandparents regularly. My kids will say hi, but then they go play (usually on a screen so they are not too wild while we talk). Myself and my parents would love to have a game (and be willing to pay) where the grandparents and kids can play together on, say a TV, while having the phone/tablet run the video call.

- We had this problem with "low quality" games until we got a Nintendo Switch. Games aren't free/cheap like on phones, and so we have fewer. The kids focus more on a limited set of games and they're not full of ads.

Like Number Munchers is a fine game. It's not a revolution in education or anything. But it would not be very hard to clone, publish, and make it easier to find and use than an archive.org emulator. Make it data driven and educators might want to contribute new tasks.

One game isn't much but if you put half a dozen together that could be a good start. In my experience kids are not as picky as people expect so long as you treat them decently.

It is free and online. No user registrations. No trackers. No 3rd party scripts or dependencies and the entire web app is self-contained. Just HTML/CSS/JS + media assets.

It is based on interactive 3-SAT solving although I deliberately made a point of not mentioning it on the game's home page to keep it appealing to the widest possible audience, not just CompSci/SAT folks.

Would love to hear what you and your 4/yo think of it.

Of course, open to collabs.

> The selected pieces must not contain both a and of the same color.

The following example shows a couple X's selected with the same color in different rows. Are you trying to say O's and X's cannot share a color?

If you think of this in terms of 3-SAT, the O's are positive literals (like a, b, c etc.,) and X's are negative literals (like a', b', c' etc.,) and the color is used to denote the underlying variable (ie., a, b etc.,). Each row is a disjunctive clause (eg: a + b' + c, where + denotes Logical OR or disjunction). Consecutive rows represent a conjunction (eg: (a + b' + c).(a + b + c').

The condition ensures that we don't permit a selection such as b.b' or c.c' since they would evaluate to False in Boolean algebra. The goal is to get a selection that doesn't contain a literal and its complement.

Due to the distributive law in Boolean algebra, solving SAT is equivalent to finding a term that doesn't vanish to False when the formula is fully expanded out.

Thanks for trying it out.

This project is a great opportunity to learn or expand your skills if any of the stack is interesting to you - a big part of our goal is to help build up the technical skills of anyone who wants to dive in somewhere.

We've got a number of investigators on staff and are starting to get a decent feedback loop with them to iterate on what we're building.

We've also got some unique and useful ideas that haven't been implemented before, and if things go well, we really think this could give a kick-in-the-pants to Maltego and Palantir's offerings, amongst others.

If anyone is interested or wants to know more, please let me know!

Forgot that we cant message on HN but it doesn't look like your email is in your profile. Feel free to shoot me an email at nick dot price[@]nightowlrecon.org

I'm personally limited on cycles currently (N.B. I am a cofounder / direct of eng. of an ISP that builds custom 802.11ax-over-mmWave last mile access networks and CPEs in-house), but since I have enough experience in that world I can probably jump in at points to help as I free up.

This means something as simple as changing the network name or password requires changing it on every single access point manually, and even worse if your mesh system relies on sharing frequently-changing state between devices.

OpenWISP tries to address this problem: https://openwisp.org - I suggest you check it out and solve the configuration management problem first.

The actual "mesh" part is actually relatively easy. Most commercial systems use basic Linux networking tools, HostAPd (sometimes with custom improvements, but this all ends up upstreamed or reimplemented upstream given enough time) and custom glue code to tie them together. A "mesh" system is typically a user-facing network being broadcast by all APs (with shared settings such as name and password) and an invisible, "backhaul" network each AP hosts (either on a separate interface or on the same interface as the AP - I believe some wireless cards can act both as AP and station as long as the channel is the same) and the other in the path connects to, and the glue code handles configuring all of that. 802.11s is also an option that can be used, and I'm pretty sure all of this is already possible to configure manually in Linux - what's lacking is the "glue code" to set up & manage all of this automatically.

Another mesh community is Thread, which seems to have Zig-bee, Apple & Google involved https://en.m.wikipedia.org/wiki/Thread_(network_protocol)

I haven’t looked into mesh networks in a few years. Back then, Germany seemed to have a few open source mesh projects.

Oh yes. Much to the frustration of even the phone OEMs. Hopefully WiFi is easier to handle than 5G lol

Billions of users use GMail (or similar services). These companies are making money by selling ads, and their "free" email service is just another way to improve ad targeting. Furthermore, your account can be disabled at any time and for any reason. Sure, you can switch to Protonmail, Tutanota, etc. because they are "good" companies. But why do you have to trust to any of them? Keep your encryption key, and have communication providers move around encrypted bytes on your behalf. Store your identity on a blockchain (maybe), so that no one can take it away.

That's the idea. If you'd like to work on something like this, get in touch. lgx (at) ubikom.cc

The game is built from the ground up with SFML and C++. The graphics are sprite/tile based. The game is top down, 2D, and will display the interior of buildings so you can watch your citizens live their lives. You'll be able to change z-levels for multi level buildings.

The focus of the game will be more on the simulation (Dwarf Fortress is a huge inspiration) than on building pretty cities (e.g. Cities: Skylines), although I do care about the art direction.

I have a long runway to take off from, about 2-3 years, so I have the time (and patience, and desire) to care about quality and efficiency.

What Im working on now:

Here's a brag & demo of the pathfinding I am currently wrapping up:

https://i.imgur.com/vtKXKLK.mp4

Note a few things:

* All possible paths are found in O( m + n log n ) time, even though there's a binomial coefficient number of possible paths in this grid. The tree is stored in memory for constant time access. Im using parallel flat hash maps to significantly lower the memory footprint.

* The units choose the shortest path that match their preference (i.e. the color of the unit), thus choose a path that contains the most tiles of their color.

* Pink units dont have a preference and will use any of the paths available.

* I'm not an artist!

* Currently wrapping up multi-lane road pathing (which is quite tricky!).

* In the game, preferences will be history, tourism, beauty, food, neighborhoods the unit can relate to (religion/nationality), etc.

The largest problem I will be tackling is simulating (to the best extent possible) an economy. One thing I liked (and made a lot of sense, at least to me) in SimCity 2000 is that the first demand you had to fulfill was industry. So the player will choose an industry to build their city around (though they'll be able to diversify any time. The price for that is possibly losing their edge in said industry).

One of the goals in the game is cashflow. Each service/industry/utility (SIU) that is outsourced is lost tax revenue for the city. For example, a new map will contain national power lines running through it. You'll have to tap into those for power initially. This means your citizens will pay a higher price for electricity, which limits tax revenue in two ways:

1.) You're not taxing the profits of the power plant

2.) You're citizens have less money to spend, thus the businesses in your city have smaller profits to tax.

Now iterate that math for every SIU required (which depends on city size).

To counter this, the player starts by owning all the land, so the city's initial revenue is from property sales. As the city grows, land value goes up. (Fun point, once the land is sold, its permanent until you can afford a great lawyer on your board to win an eminent domain case).

Over time the city will grow and more SIU's will be localized, increasing the cash flow of the city (more tax income). But, to attract/retain talent (thus have larger corporations), the city needs to spend this cash on services to make the city a desirable place to live. I think some fun side goals would be, for example, attracting the best chefs, artists, musicians, that are available, and have them e.g. open a restaurant in your city.

So, the macro scale is competing against other cities (both for talent and services/industries). I could say the winning condition is to be at the apex in every industry in the game, though that will likely be impossible, and I dont plan on having any real win condition.

I haven't sat down and mapped out how to simulate the competition (other cities), but I dont see a need to simulate each city at the micro level. I believe DF takes a similar approach. If anything, an infrequent mass calculation could determine who moves where and why, and to compare business competition. Im using SQL for storing game data to take advantage of what it does best, so this should be relatively easy.

When the game can begin competing with Cities: Skylines on a simulation level, I'll start charging for it.

I’ve worked on a compiler for a HM type checked language for a while. Since September last year I’ve been stuck trying to implement tagged unions (such as Maybe). I’ve got all other features.

I’m looking for a tutor who would write a type checker with me in a screen sharing session. I’m located in Dalarna, Sweden atm, but can do any timezone that fits. I want to pay for this as I am really really curious to find out how it works! It’d probably be no more than around 100 LOC for just the type inferrer.

No payment necessary, but I'd be happy to do a videocall with you. I've implemented tagged unions once, albeit with a very different syntax: https://akkartik.github.io/mu1/html/033exclusive_container.c... (this is a Literate format that eventually tangles into C. The `scenario` blocks show what code in the language would look like. Though none of these is a good example. They all sidestep the type checker to some extent since they're creating raw objects in memory.)

Anyways, I'd be happy to chat with you :) I suspect it'll be a short call. There's a likely a single sentence somewhere that will get you unstuck.

Thanks for the offer! Sending you an email :-)

HM = Hindley-Milner

My email is in my profile please feel free to get in touch regarding type checkers!

Here is a type checker, lacking inferring, for tagged unions. What I need to figure out is how integrate this with the unification algo http://www.martinjosefsson.com/ocaml/compiler/interpreter/ty...

One problem is that it’s very difficult for an app to run arbitrary, untrusted user code in a way that’s secure and efficient, especially in the browser. Apps need to worry about XSS and unintended remote code execution, much less try adding those things as a feature.

I started working on a Typescript/WebAssembly library around the QuickJS JavaScript runtime to address this need. QuickJS runs modern ES2020 and provides an API for the host process to set CPU and memory budgets for the execution environment, which is completely sandboxed. My work so far exposes a basic interface to create VMs, expose APIs from the host to the guest, and evaluate code.

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

NPM: https://www.npmjs.com/package/quickjs-emscripten

Areas of work:

- Make the library importable as ES modules on the web without a Webpack build step.

- Design higher-level but still security-conscious APIs for building plugin systems on top of the existing library.

- Expose more QuickJS C APIs to library users.

- Performance or ergonomic improvements.

If you share any of these goals or would like to help out, please drop me a line on GitHub (eg by opening an issue), or via any of the links on my HN profile.

It's your goal for applications to adopt your library as a generic extension mechanism? I really like this idea.

[0] membrane.io

Similarly the older Caja project: https://en.wikipedia.org/wiki/Caja_project

FWIF, Figma's plugin system started out with Agoric's Realms shim and then switched to QuickJS after a security incident: https://www.figma.com/blog/an-update-on-plugin-security/

Some of my frustrations with YNAB:

* Rigid categories. This makes you do a lot of work up front. I am envisioning letting people just assign categories on the fly without having to pre-define them.

* What do to with my money? In YNAB, every paycheck you are a supposed to give each money a job (a category). In practice, there is a very little guidance around what to do if you have too much, or too little money. I'd like a little less flexibility here, as well as the ability to create/define rules to help make actual assignment of funds more automated. ( I have some ideas about this).

* Its very common to budget intermittently. But you can come back to your budget after a month and have 100s of transactions to go through, your categories are all underfunded, and you don't know what to do, so you click "Make a Fresh Start". I also have idea around this

* Reports: The default reports in YNAB leave a lot to be desired. Extensions like "Toolkit for YNAB" help, but good reporting should be a first-class citizen of a finance app.

* Tagging transactions. related to the above, tagging transactions will help with reporting and seeing where your money is going.

-------------------------------

If any of the above interests you, my email is in my HN profile. This is a side/after-work project, not a full-time one.

https://focustask.app

Building this in my free time, and would love to talk to anyone who might be interesting in helping with either coding or with marketing.

My email is vojto at focustask.app

I've never found a productivity app/ task manager for consultants. I would love the ability to self generate follow up emails based on tasks for another person.

I would love the functionality to assign tasks to another person in my task manager, and on the day those items are due ("analysis", "Documents", etc.) it automatically creates an email for me saying i'm following up on this task.

OR a 'these are the tasks i am currently working on' automated email. So during the meeting i can be inside the app, writing down deliverables from the meeting and at the end it will generate a meeting email with each deliverable and who the owner is. If i have a task for a certain date and the next day i sign on and don't check off the task, it will generate an email saying 'Hey, sorry have been swamped, working on X today/ will get you this on X day. '

Captured time, tasks, and held key/values for documentation.

Every task was assigned, never open, and timecards were auto generated (and emailed to management)

This fits my mental model. I do it in a markdown document for work, and paper for personal.

[1] STEPS Toward the Reinvention of Programming, 2012 Final Report Submitted to the National Science Foundation (NSF) http://www.vpri.org/pdf/tr2012001_steps.pdf

[2] https://vimeo.com/82301919

[1] https://www.youtube.com/watch?v=cXGLOiZUZ2U

[2] https://www.slideshare.net/gron/sly-and-the-roarvm-exploring...

I dunno what that would really look like. But I'd like to explore gift economies, time banking, and brainstorm the strategies and games that could enable a more equitable Earth.

As for the software side:

In my head I am imagining a hierarchical set of nodes organized by geographical proximity each hosting a django application connected by "privately" operated physical links.

I'd like to leverage http://www.nncpgo.org/ to make sneakernets and dead drops a first-class component of any software systems involved.

I put up a README with two guiding principles for now while I iterate on the concept more (https://sr.ht/~danielganado/TAPBE/). If you've got a solarpunk or agorist bent we'll be fast friends so work out my email address from my profile and say hey!

?

No major benefit of using a dht except it's kinda cool that the entire thing runs sans centralized database.

If you're interested, the space is what my startup is working on but the cdn specifically is mostly a fun tangent to learn about kademlia for me. It's always fun to work with more people in the live video space since it's a small community overall.

In principle I think BitTorrent can be adapted to this, but essentially the output "file" doesn't hash correctly so I think it would be a lot of hacks to the point where it's avoiding actually using most of the parts of BitTorrent anyways. In particular this is evident on the DHT, my understanding is the DHT actually stores fragments of data and BEP44 verifies integrity. In my implementation, the DHT stores some metadata for who can publish the data because the media stream is live and we don't want to broadcast every packet over the DHT.

Of course, I'm new to BitTorrent so that's my understanding. I'd love it if I could use more BitTorrent components directly :)

I also know PeerTube has a Live feature now, but I have no idea how they do it. I think they use WebTorrent (at least for the non-live videos).

[1]: https://arstechnica.com/information-technology/2016/05/bitto...

My goal for the CDN is to make it lower latency that it could be used for video conferencing. In practice I have more of a one-to-million distribution in mind but it's a cool puzzle.

If you're interested, I'd love to talk more! I'm in NYC if you happen to be too, I love meeting people interested in live video :)

https://elegant-shaw-2cb49a.netlify.app/votevote

Anyone into electoral methods or game theory? If you've ever watched CGP Grey's videos on electoral methods or seen Nicky Case's *To Build a Better Ballot*,[1] it's very much in the spirit of that. It's mostly a toy that will run a single election in a large number of different electoral methods.

Currently I've implemented ~26 different electoral methods which is pretty neat. However, I've shied away from the methods that voting theory nerds love the most: Condorcet methods. I've implemented Copeland (although there's a mistake I haven't fixed yet) as well as Kemeny Young. However, Kemeny Young is implemented in the most brute force way possible and is O(n!) right now.

Mostly I think I'm just looking for people with a math/game-theory background that would be interested in helping out, but I'm open to anyone interested. I know there's a lot of optimizations I could make to the Kemeny Young algorithm, but I've been hesitant to do so because I can't find the right theorems to make sure certain assumptions are true. For example, I'm quite sure that a subset of weak Condorcet winners would be at the front of the winning path, but I haven't found a textbook that's stated this explicitly and it's been a long time since college so I'm kinda iffy on proving it to myself. I also don't think having to learn the proof everytime just to make sure my assumptions are mathematically sound is the best way to develop such a tool. Thanks

It's all open-source and won't have ads and will hopefully just be a static site so it's really just a hobby project.

[0] https://www.youtube.com/watch?v=s7tWHJfhiyo

[1] https://ncase.me/ballot/

Where did you source all the different electoral methods?

The electoral methods are sourced from various places. When I get the new site up and running I want to have a spec source for each of the methods' implementations since some of the names can be confusing. A lot of the methods were found on the electowiki[0] which is run by the same people who do the mailing list. Many others I just found from reading articles, publications, textbooks,[1] and even wikipedia. I've kept a list of ones I wanna implement so I've just been slowly working through them. But there's a strong bias towards simple to implement ones so far. The much-loved (by voting theorists) ones won't be implemented for a while until I figure out how to do things more efficiently

[0] https://electowiki.org/

[1] https://www.maa.org/press/maa-reviews/the-mathematics-of-ele...

But I do at least show the resulting winners of all 26 methods underneath the input section.

Seeking other pilot-programmer-contributors: [redacted]

If you are interested, check out http://www.adama-lang.org/ and reach out at adama [at] mathgladiator [dot] com. I'll ping you directly via your site as well.

I'm quite busy right now but I'd love to save your contact info for a time when there's mutual interest and availability!

You can get my email from my profile.

1. How to tamp down program complexity by compartmentalizing side effects? Are hexagonal architectures, monads, and algebraic effects the best ways? What are their pros and cons and are there other potential candidates?

2. How would abstract concepts like data structures and architectural structures be reified visually? Is there a Tufte for data structures? Do they actually help in understanding a program?

3. Is it possible to run programs on a remote machine you don't control and be assured that it was executed correctly?

If there's anyone else that's looking along these three avenues or even tangentially related to local-first software, tools for thought, or dynamicland, I'd be happy to trade notes on interesting areas.

It's targeted at small to medium communities, but at the same time it can reach outward through the federation mechanism that ActivityPub provides. Outside of immediate support to intercommunicate with other instances of its own platform, it will handle interactions from the larger fediverse at large: Mastodon, Pleroma, Pixelfed, etc.

Currently this is a one man project, namely me, and I would welcome support in any area that people could help: development, design, documentation, graphics, copy, etc.

The project can be found at https://github.com/mariusor/go-littr, and if anyone is interested there is a mailing list where people can get in touch: https://lists.sr.ht/~mariusor/activitypub-go

Some details about the project can be found on its wiki: https://man.sr.ht/~mariusor/go-activitypub/brutalinks/index....

[edit] for the curious, there's also a demo instance at https://littr.me

I don't know why I need to acknowledge it on my project though. Users that are interested can click around and see what's different and which one is more to their liking. It will probably be mentioned in the wiki at some point, as it's one of the immediate targets for federating with other projects.

Want to reach out to me via my email please?

I'm working on a project to develop a dispatch system for volunteer emergency couriers, aka blood bikes. They deliver samples, blood, donated breast milk and equipment between hospitals around the UK, as well as supply blood to air ambulances.

The app is meant to replace a system of pen, paper and spreadsheets that the service is mostly being run on. I've been working directly with the charities for it to best suit their needs.

It uses React, JavaSript, Material UI, Jest, Redux, Amplify and React Testing Library. Eventually I'd like to develop a React Native mobile app too.

There are some details on the issues page https://github.com/platelet-app/platelet/issues about some of the work that still needs to be done.

I have a Discord too although it's a little quiet - https://discord.gg/tWhCM98ckB

I'd be glad to hear from anyone who feels like they'd want to contribute. If you have any questions, feel free to ping me (Ducky) on Discord.

https://github.com/dharmaturtle/cardoverflow

I can't express in words how seriously sad I am to leave F# for the shitshow that is TypeScript. I tried to make ReScript work, but it's tightly coupled to React for baffling reasons.

https://zaid-ajaj.github.io/Feliz/

Blog post I wrote about the steps in developer experience up till now: https://wanderingstan.com/2020-02-04/the-evolution-of-develo...

This talk from 2018 is asking the right questions, though I'm not a huge fan of all his ideas: https://hilton.org.uk/presentations/beautiful-code

I have a rough Google doc I've been dumping ideas and links into that I'd be happy to share.

You can email me at <my username>@gmail.com

Would love to collaborate to develop some ideas and build some prototypes to try them out!

The idea is to put together a project that gives an overview of how to set up a minimal viable web application from scratch via all the different frameworks.

For each framework the project features a self explanatory shell script that builds a web app with routing, templates and user accounts. So there is no ambiguity of how to reproduce the results. And it is even possible to just copy&paste the steps into a docker container and see the framework in action.

Here is the repo:

https://github.com/no-gravity/web_app_from_scratch

So if you want to compare how the frameworks do templating, you can look at the "Let's use templates" part and have a quick overview of how it is done in Django, Laravel, Flask, Symfony, NextJS...

I wrote the beginning of the Django script and two developers contributed Laravel and Symfony scripts. So far we have routing and templates. All three still need user accounts.

If you are experienced in a web framework, feel free to add to one of the scripts or a new one and send a pull request!

So on the sidebar you have components...one is a sidebar right? so you click on it..on the right pane it shows implementations on the top of the pain is a dropdown so you can switch from say. MUI to AntD to Vuetify, etc... some are narrow scoped frameworks (Vuetify for example is only Vue), some are Wide... Tailwind Kit for example or Daisy UI... they target tailwind but are JS Framework agnostic...

So under each implementation of each component might be code for Rails, Laravel, Django, views and maybe even some sort of api integration where you can have a webhook that can either connect to your dev and push the code to the right places, OR it could put it in a queue if your local dev can't receive incoming normal http requests, you could just use a cron job or manually import the code from your localhost backend...

I'm imaging this sort of being like a mixture of low-code meets Storybook with already developed ui components, and you could even import full templates, etc... So for backend devs w/ an idea 90% of the UI stuff is just drag/drop etc.... you could even have a way to combine elements somehow so you can build up a whole page of elements...and some sort of marketplace where people could share designs and maybe charge like $1 for the code snippet MIT license, but access to the code is $1.

Edit: It'd also be cool to extend this to data-layer..so say I am designing my migrations/models... and I want an Employees table....well maybe I type in employees and it organically lists all the columns previous people have used for employees tables and ranks them by how often it was used... so you can basically have most of the data points that are pretty common across similar apps be shared and almost done for you...and then you can export to django, rails, prisma, hasura, laravel, etc...

The main difference is the "no ambiguity" approach I take. When you look at the Django part of the project you linked to, you see it starts with 8 manual steps and then a bunch of optional steps in case it does not work.

I want to have no ambiguity. No manual steps. That is why every framework is handled by a script that is guaranteed to work on Debian 11 and leads to a running web app.

https://twitter.com/marekgibney

I'm not a Swift programmer, or Kotlin programmer, and haven't touched Java in a decade. I would love to collaborate with people on this project. I can offer lots of enthusiasm, and if you like programming without hassle I'll handle all the user-facing stuff and managing GitHub issues and support requests, project admin and writing documentation :)

There is much to do (and users really want video recording on iOS), but I've not got the coding skills to start. Picking up one language would be a nice challenge; keeping the iOS, Android and web versions at feature parity... I can't do it on my own.

https://github.com/lukew3/congol

I could use someone to help out and keep me motivated.

I used to make a hiking app for a living, but now I’m just tinkering with side projects and writing.

I'd love to make a 2d pokemon like game based on real world interactions that can be fun to play, include teaching social skills and business skills and life skills, and have the same joy and fun adventurousness as pokemon.

Would love to find a way to work together on something like that. I have a ton of fun real world experiences we could build in / characters / etc. and a vast idea world. A friend actually has a sci-fi universe of sorts and we could do some fun simple design around some of his plots. Lots of ideas. Would love to collaborate.

Our first product, Preptrack, helps people to use PrEP, the medicine that eliminates the risk of HIV infection. It's live on the App Store and has a strong and active community of users who love what we do.

We're always looking to talk to software engineers who would like to do a little good in their spare time or as a side project.

Feel free to check out our website (https://preptrack.co.uk), our volunteers page (https://preptrack.co.uk/volunteering/engineer/) or shoot me an email (sam [at] preptrack [dot] co [dot] uk). I'd love to hear from you.

I'm currently working as a machine learning engineer, but doing a lot more engineering than learning. I'm also applying to PhD programs with focuses in knowledge graphs and common sense reasoning, but willing to learn any other field. If I don't get in then some independent research is still a good career move.

I have ideas of my own (goal oriented question asking) but happy to run support on other peoples stuff.

1. I have a complete optical flow training data set here. It is built specifically to highlight the shortcomings of some state of the art AI algorithms and (as expected) they fail on it. We used it internally to fix those issues on our own proprietary AI. To turn this dataset into a publication, someone would now need to get access to or re-implement most of the top algorithms on other benchmarks like Sintel and run them against the new dataset. Otherwise, there would be no comparison scores and, hence, no use for someone to evaluate their algorithm on the new data set.

2. By participating in the gocoder Bomberland AI competition, I noticed that most state of the art RL AI algorithms fail badly in an environment with a non-deterministic enemy. It would probably be very useful to package that environment as a OpenAI gym python package and then do a proper "best out of 3" evaluation of common algorithms on that environment. It'll mostly be failures, which is a great backdrop against which to propose a small tweak to DQN that makes things work, which is to estimate the variance in addition to the mean so that you can work on the 30% percentile of the expectation of the state action score.

Both dataset papers and AI algorithm ranking papers tend to get cited a lot. But they require a lot of effort to produce.

I'm not focused on these making money but I'd like to reach a point where I can sell some devices. My main goal is quality and great user experience. I do lack some knowledge in PCB design which usually slows me down. Feel free to reach out via the linked website or the email I have in my 'About'. Even if you just want to pick my brain.

Here's a quick video explaining it: https://www.youtube.com/watch?v=faxNDhOjlh4

Piano Gym is a learning and practice ecosystem focused on prioritizing music theory and performance skills acquisition through the use of flash cards. We use flash cards in order to pair them with modern learning techniques like spaced repetition, graded feedback, and progress tracking so that you can practice material and work through content that is managed by Piano Gym, and all you have to do is enroll in a school/course/lesson and do your reps! Just show up every day and do 15 minutes of reviews. You're going to make progress.

Our website uses the Piano to navigate exercises as well as regular keyboard/mouse input. We work on browser technology and are looking to eventually make it mobile devices.

We provide content creation for everyone so that anyone can make their own schools/courses/lessons and the best part is each school gets its own landing page.

For example we're using the methods book from https://freepianomethod.com which is provided by Mayron Cole, and if you wanted to practice it without signing up or enrolling you could easily visit this link: https://pianogym.com/schools/Mayron%20Cole%20Method

Even better when you find the piece you want to practice you can share it directly like so: https://pianogym.com/schools/Mayron%20Cole%20Method?sheet_mu...

Our goal is to do this for free. We believe that no one should be blocked from learning. And one of the issues with this at the moment is that our team is very small and has been currently working nights and weekends to make this happen. We would love the chance to add a technical member to our team in order to build this product out to its full vision.

If you're interested please feel free to direct message me or reach out on social media :)

Yeah. I made Piano Gym because I've seen several solutions for Piano/Music Theory and at the end of the day I really think having people create curriculums and setting progression while managing it is the best approach for intentional practice between autodidacts/teachers/learners.

One of the cool things is that we have a flash card creation tool that will automatically chop a piece of sheet music into flash cards of 1/2/3/n measures at a time so that you can make flash card sets to deliberately practice sections of a song. It's really cool! I'm still on the fence of how to leverage this effectively for learners, but I've been thinking about the idea of making 1 measure flash card sets, 2 measure, 3 measure, and then the full piece. In many ways I can do anything with Piano Gym and that's the problem for me now

Mostly comfortable in TS web frameworks, React / Angular / Node

As these groups are small, usually minimal hardware and a FOSS tool or two is all they really need. Meaning their actual cost is probably way less then their expected cost (or what some hungry web dev quoted them at).

The idea is to bridge the gap between these groups and some tech that would add value to the groups. There is a strong possibility of cross pollination between outdoors groups, and for individuals in these groups to require more specialized tech solutions.

It feels crazy enough that it might work, but the idea is still young.

Email is in my profile if you have any advice, think this is stupid/great, want to collaborate, or just want to chat!

We're building the first political party that comes with an app.

Imagine if American democracy was improved 10x. A fairer, more representative, more effective government for everyone.

The goal is to start small, provide a 10x better experience for citizens, and gradually overtake/integrate with the 2 major parties: - The Software layer for the "hardware" of existing political institutions - Better voting - deliberate in app, and then vote all at once in a bloc - Better tools outside of voting - perks, feedback, and more

Work with me! Shoot me a message at ztang230@gmail.com. Would love to talk to anyone interested! (or tell me why the idea sucks)

https://github.com/bdkiran/nolan

General things that could help with this project:

- Single node only, add distributed support(based on raft?)

- Improve or replace the custom protocol for sending and receiving messages(I wrote the current one, it's not pretty)

- Update the CLI to allow for managing topics

If you're interested in contributing to a Go project, in the area of distributed systems check out the repo or send me a message with your ideas.

https://github.com/intigos/possimpible

It's written in poor C++ with SDL.

https://github.com/davecom/DK86PC

Currently, I am writing a web crawler application framework in golang. Always looking for help or new ideas on what to crawl next!

Emails welcome, check my profile.

Your crawler perhaps could be customized to crawl and publish an index of all available Progressive Web Apps. A naive way would be to check for sites that have a PWA App manifest file in their root folder.

Let me know if you are interested in collaborating.

Please do think about it for the next couple of days and I will drop an email to you in the next 48 hours (I live in India). We can then decide how to take it forward.

Just curious: How long does an end-to-end crawl take and how much resources does the process consume (in terms of hardware/mem etc.,)?

[0] https://bangle.io

[1] https://github.com/bangle-io/bangle-io

https://github.com/inet256/inet256

- The API is focused around sending and receiving messages to addresses derived from public keys.

- Each application can have its own stable address.

- Runs as a daemon process which is configured with peering information. Additional network nodes can be spawned through the API.

- Can easily support arbitrary routing algorithms through a well defined interface.

- A TUN device (similar to CJDNS or Yggdrasil) is included as a separate application. (The IP6 Portal)

Demos: https://www.reportmill.com/snaptea/

Repo: https://github.com/reportmill/SnapKit

There is a lot of benefit to this - fast, traditional desktop development with great deployment. It also has built-in developer tools and online access to a UI Builder. I hope this could make Java Client development interesting again.

I need collaborators to help write demos and improve the kit.

Jeff at ReportMill dot com

https://infinitethailand.substack.com/p/the-value-chain-vaul...

https://infinitethailand.substack.com/p/how-to-imagine-the-t...

(email in profile)

It's 2022 and yet if you ever think of a feature for an app or a product you use, there's no good place to voice it and feel heard. I want to change that.

Looking to collaborate with fellow engineers and people with a strong product/growth sense.

See https://github.com/pbsurf/chem

As governments print more money, and prices rise, the hope is that citizens can use these NFTs to combat that rise in price. That is the basic idea, which we can iterate on. I'm super excited about it simply because I think it has the potential to do a lot of good in this world. look forward to hearing from anyone interested, please reach out!!! (pdeckr at gmail).

Also, blockchain is supposed to solve trust problems, government being one big one. Instead, you're going to trust their CPI data?

I am retired and don't have the space or physical capability to build this at my home so I'm looking for someone who has or wants to build a shed or tiny house and who has basic construction ability. I can help with basic design and maybe arduino prototyping and scripting. If it works I'd like to put it on the web so anyone could copy it and be confident it would work. Phase 2 might be doing the same with a manufactured/mobile home.

Hopefully the tiny house builder has clients outside of the Netherlands. (-:

I always like to take a pulse check on which components and configurations other people are using for different hardware functional blocks (think 3v linear regulator, logic level shifter, etc.).

Taking inspiration from dribbble and tailwindcomponents applied to open source electronics.

Let me know if you're interested in taking it for a test drive or helping with development. Technology stack is: Nextjs frontend, Strapi backend, AWS tools.

https://tablam.org

that is my attempt to resurrect the spirit of the FoxPro/dbase kind of tools.

Is on Rust, and is also my way to sharp my skills on it.

Now, I'm in the process of improve the parsing to be robust like in Rust, so i can show good error messages:

https://github.com/brendanzab/codespan

and also, hopefully, implement a solid type inference that work fine with the challenge of infer joins like "customer CROSS JOIN address".

---

The idea, long-term, is create a tool alike MS Access/FoxPro+Excel that I think could be great for a lot of companies (that are using stuff like "BigData" tools -like hadoop- when them are struggling with more fundamental issues!) and improve the condition of make business apps/analysis.

I already hear some interest when the vision is described in full, and I certain any company that use Excel/Access to deal with data and/or make business apps is anemically served by it.

The alternatives now are only for the cloud, and I instead wanna a local-first/on-premise offering...

So I'm imagining a pacific-island-navigate-by-the-stars simulator, maybe speed up time so 8 hours of night become 30 minutes of cardio. Choose a couple of islands to row between, get some directions of which star to follow, and get to work.

Good news: some water simulation and a night sky are probably just a library include away, right?

Bad news: would have to do something fancy to nail the motion sync, I was thinking an arduino and some hall effects, really just need to capture the bookends of each rep and adjust the video to match your movement. I guess goggles already do position tracking but I think I would basically want to predict the snap when you change directions, as even a few ms lag will ruin the immersion.

Alas, I am merely a web developer without so much as a pair of goggles, but I think this will be a good starter project on account of not needing to create any assets. Godot looks very promising. If anyone else has VR-but-good-for-your-body ideas I'd love to hear them.

Unreal has much better VR support with, basically, push button publishing. I would not choose anything else for VR.

An Oculus Quest is wireless with inside out tracking in 6 degrees of freedom (DOF) and has no problem tracking people jumping and ducking in games like beat saber.

Unreal will map the camera to the movement coming from oculus hardware and you just make your art and some basic visual scripting in blue prints to make a PoC.

This is a couple week(end)s of work to get an MVP.

I don't have a rower so wouldn't be able to help but good luck! Great idea and very doable. Although I will warn you sweating in a headset does feel icky with the included fabric pads.

Edit to add:

Sky is just a sky box (sphere) that rotates because stars in real life are effectively at infinity

Water simulation is limited by whatever else you are drawing. Older quest hardware will be limited by draw calls. This is why you see so much stylized art in VR games that are cross platform. You likely would want a simple vertex shader and not a fluid sim.

Now I want a Tron VR rowing sim :D

btw, the Vive and the Quest2 both already do motion compensation, even if your game lags a little bit they reproject it so you don't notice if you drop a few frames, a big lag will still cause problems but the headsets take care of the predictive motion stuff.

I think it's totally under-utilised and an easy-to-use tool of generating voicegrams could be super-sharable and - more importantly - useful from a cognitive perspective.

I think that cognitive differences could be levelled using text-to-speech! And provide an alternative and measurable way of consuming quality content.

My email is in my profile!

Currently looking for people who would want to collaborate on some of the open source pieces that are needed.

Short term I think the right place to start is to build an open source toolkit leveraging NextJS + React Native to create a single project for all platforms.

Long term imagine an IDE (VS Code Extension), hosting, backend ecosystem, marketplace for themes and plugins, a simple opinionated project structure for building things that run on web, iOS, and Android to start. Eventually probably Desktop too. Based all on open source tools to avoid vendor lock-in.

https://livecode.com/

But they have a very different approach. Proprietary language, components, etc. I wouldn't want to be locked into their ecosystem. That's typical with game engines, but not with web and mobile applications these days. Even Microsoft has gone full open source. I wouldn't use LiveCode as the basis to build a company on.

I'm building the open version. Made for startup teams and indie hackers that want to make world class products on top of the open source tools they would probably use anyway.

https://docs.juce.com/master/index.html

We give users a little bit of money each week to play with ($0.50 right now) and if they can run it up past a certain point we'll pay them out in cash. If they lose the money, we put another $0.50 in the next week. It's legal in the US since the users aren't allowed to deposit and mainly for entertainment purposes.

The plan is to make money through affiliate referrals if users want to bet with real cash.

I think sports betting is inherently social, so the end game is to create more of a social sports betting experience where you can invite friends and talk shit about their bets, have leaderboards and so on, so forth.

I'm a front-end dev / designer with some back-end chops but not great. I'd be down to chat with anyone who has a complementary skill set. Hit me up at will@pennywagers.com

Stack: Next (serverless back-end), React, Tailwind, Prisma ORM, Postgres

https://www.pennywagers.com