Any policy that asks students not to use AI and trusts that they will comply is giving a massive advantage to dishonest students and punishing honest ones.
This article sounds like the professor was reprimanded by higher powers and tried to dig themselves out of a hole for having a badly structured grading system.
Students should be encouraged to use AI in their learning, because they will anyway. The understanding should be that they will be assessed in supervised environments so they need to learn the work either way. This gives the students incentive to learn without fear of using the best tools available to do so, and provides evidence to the powers that they actually did so.
Claude code/Git/NixOS is such a nice system to work with.
You can build your entire system from a worktree and merge if it works or boot the old generation if it doesn't. This is great for trialing new kernels, NixOS releases, or alternate Window managers, and rolling back is trivial.
One downside is that there is only one stable NixOS at a time, and no LTS. However in practice I haven't found this to be an issue across multiple desktops, servers and SBCs.
Agreed. One additional thing I do is I have the same setup on my main work workstation and also my old work laptop, so when I do a big swath of package updates (about once a month) I do it on my "scratch monkey" first and make sure nothing obvious breaks. I started doing this after a GNOME update broke my GDM (as you say, until I booted the old generation, but still was a work interruption).
I'm using NixOS "latest" on my workstation, for no particularly good reason.
One success I had was with building up a custom vim setup. I had previously been using Lunar and Astro as an opionated vim distro with LSP+Treesitter and some other "table stakes" things a modern editor should have. But there wasn't a clear way to install Astro in NixOS when I tried it manually. So I just told Claude Code what plugins and settings I wanted in neovim, and now I have a single file that fully describes my vim setup. Before with Astro and Lunar the configs were spread out all over a bunch of files.
I was also able to get Claude Code to bundle up gitbutler-cli, which I wanted to try but so far have not. It builds it from source because there was no existing derivation. It takes a stunningly long time to build, but otherwise it has worked very well in my simple testing of it. Plus, I can build on my powerful laptop and then use that to seed my old, slow ThinkPad T470s and even slower chromebook that I also put my config on.
Yeah my setup is pretty similar, I use a shared repo for my work laptop and home desktop. I test out new setups at home, and typically run nixpkgs-unstable there for a few weeks before migrating the work machine.
I use nixvim for generating my neovim config (and I have a flake output for running that on MacOS where I don't use nix a lot) although I've been pairing back my plugins lately as I find I'm spending less time in the editor.
My MagSafe connector has just stopped working, so I'm going to need to send it in for service, which might mean a factory wipe.
I'm taking the opportunity to try adding my Mac to my nixos setup, pulling in some of my common settings like "ltra" alias for "ls -ltra" equivalent in "lsd" or "exa". Then nix-darwin to do as many of my settings via nix as possible.
As a parent with kids at three different schools, help keeping track of their schedules would be amazing.
Currently updates from the schools are spread over multiple sources: paper notes, email, sms, "news" and "calendar" in school app (which are not kept in sync), and Facebook. Different schools use different apps.
Additionally the channels are often noisy, with messages about groups my kids don't belong to, and "helpful tips" like how to pack healthy lunchboxes. These notifications come in during the day while I'm working, get dismissed due to the low SNR and then the useful ones often slip through unnoticed.
Definitely an area that is ripe for disruption, but as others here have commented, I don't feel confident about Google being the provider.
My wife and I have been working exactly on this for some time now. We are building a companion for families to help you keep your life, career, physical and mental health in order in the challenging times when you raise a family and are building your career.
We are running a small trial group right now to optimize the experience and see how people and real non-tech families react to this.
We are a tiny startup and our business is not data nor customer addiction. We will simply be charging our customers and put them at the center of our focus. We are honestly trying to understand what can genuinely be helpful to families and make all the innovations that we are seeing available to them.
This is not targeted to the HN crowd; yes, you can hack your assistant with a bunch of Claude/Codex automations and be happy! 100% possible and also fun to do. This is for everyone else that has no time/skills/intention to sit in front of a laptop for this.
I saw the post yesterday but decided to not write right away and wait for the post to slow down as we are supposed to be in a closed trial since each user costs us money right out of our pockets and there is no monetization yet.
But if someone is genuinely interested and wants to give it a try and keep in touch, here is the link:
When I was a child, schools didn’t need to communicate on a daily, weekly (or even monthly) basis with parents. How times change. Heck, we went for a whole school day without having to talk to Mummy or Daddy. So this agent is technology to help the mess enabled by technology?
When you were a child you didn’t care (or weren’t aware) about your school’s communication with your parents. Can’t say that is surprising to me, you were a child.
Any thoughts on the subject as a parent with a child in school in the modern day? Or were you just eager to throw out a “back in my day”?
From hearsay, I hear that prestigious private schools tend to communicate very frequently, which manufactures value and evidence that the school has rich experiences for the students. And there may be a mutual expectation for parents to be "involved" in it, contrasted with families that require schools to serve as a childcare.
Referring to public schools as childcare is some elitist nonsense. Public education in United States has been destroyed by decades of attacks on it by politicians, sure. But referring to it as childcare is not productive. If education literally is serving that role, the responsibilities should be split because it would dilute the education experience.
It's sort of confusing though because all schools for children are by definition childcare, and you try to diminish the public variant.
how about when a kid has 7 classes, and each teacher says to just check the google doc within google classroom where they each type daily notes into unstructured tables that are each different for each class oh and parents dont actually have their own google classroom login they are just supposed to log into the kids account.
Also, family management is so *fundamentally broken* that it's disheartening and almost laughable that priority is ai over global acl management. There should not be a separate parental control dashboard for roblox, fortnite, instagram, tiktok, etc etc etc etc. Every app should be REQUIRED to expose all parental controls in a standard protocol upstream to identity management that is manageable by multiple management accounts in a family unit. I should be able to go into settings, click a kid, turn off chat for a child, and it instantly updates on my partners phone without needing an account at the service itself to manage it and knowing the ins and outs of how their parental controls are evolving weekly. Family settings should exist ABOVE any single user account and apply to all accounts to any service linked within the family.
They have similar names, seem to solve similar problems and both have first commit within a few days in July. One is Python and the other Typescript though and they don't seem to be forks.
Language still matters because writing robust code in C requires discipline on many fronts, and LLMs will often do the minimum to get code running (as will most humans) unless prompted further. Rust protects you from some of these issues and gives you greater confidence that changes will not introduce bugs.
You can also push deployments to remote systems which is great for servers and headless devices like raspberry pis. I use colmena and deploy-rs on different projects because they have some nice features but you can also do it with bare nix.
I have a repo for kiosk appliances that can build an SD card image for a specific device in a fleet (so no on device configuration is required) but it can also push out updates or changes at runtime. NixOS isn't perfect for embedded devices yet but works well for cases like this in my experience.
If you are using an Apple Silicon laptop and you want to deploy to an x86-64 Linux box, this can get a bit annoying due needing to deal with cross compilation in nix.
Which has been working well. I admit I do not understand what all of these flags do in detail.
This uses ssh agent forwarding, and then sudo via PAM. That allows for passwordless sudo. Building (well, activating) without sudo is pretty involved last I checked, I could not get it to work.
reply