update

Author: edtechdev

journals/2026_04_03.md

@@ -25,4 +25,37 @@
 	- [[Explainable AI]], [[Reasoning]], [[Neural network]], [[Machine Learning]], [[Neurosymbolic AI]], [[Artificial intelligence]], [[LLM]], [[Explanation]], [[Explorable explanations]]
 - [GPT-5.3 and GPT-5.4 in ChatGPT | OpenAI Help Center](https://help.openai.com/en/articles/11909943-gpt-53-and-gpt-54-in-chatgpt)
 	- [[ChatGPT]], [[Reasoning]], [[copilot]], [[codex]]
+- [College students are writing with AI – but a pilot study finds they’re not simply letting it write for them](https://theconversation.com/college-students-are-writing-with-ai-but-a-pilot-study-finds-theyre-not-simply-letting-it-write-for-them-276856)
+	- [[Process tracking]], [[Writing]], [[Academic Integrity]], [[Artificial intelligence in education]]
+- [TabbyML/tabby: Self-hosted AI coding assistant](https://github.com/TabbyML/tabby)
+	- [[Local AI]], [[copilot]], [[AI agents]], [[Code generation]], [[AI engineering]]
+- [Full article: Generative AI in Human-AI Collaboration: Validation of the Collaborative AI Literacy and Collaborative AI Metacognition Scales for Effective Use](https://www.tandfonline.com/doi/full/10.1080/10447318.2025.2543997)
+	- [[AI literacy]], [[Measure]], [[Metacognition]], [[Cognitive offloading]]
+- [AST Edits: The Code Editing Format Nobody Uses](https://geometricagi.github.io/2026/04/02/ast-edits.html?trk=feed_main-feed-card_feed-article-content)
+	- [[Code generation]], [[AST]], [[parser]], [[Editor]], [[AI engineering]], [[opencode]], [[AI agents]]
+	- [cortexkit/aft: Tree-sitter powered code analysis tools for AI coding agents](https://github.com/cortexkit/aft)
+- [Ki Editor | Ki Editor](https://ki-editor.org/)
+	- [[AST]], [[Editor]], [[parser]]
+	- [Ki Editor - an editor that operates on the AST | Hacker News](https://news.ycombinator.com/item?id=47286311)
+- [Introduction - Mergiraf](https://mergiraf.org/)
+	- [[git]], [[AST]]
+- [[2602.13237] NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models](https://arxiv.org/abs/2602.13237)
+	- [[AST]], [[LLM]], [[Logic]], [[Natural language processing]], [[Natural language programming]], [[parser]], [[Reasoning]], [[Explainable AI]], [[Neurosymbolic AI]], [[benchmark]]
+	- [peng-gao-lab/nl2logic: NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models](https://github.com/peng-gao-lab/nl2logic)
+	- [Few-Shot Natural Language to First-Order Logic Translation via Code Generation - ACL Anthology](https://aclanthology.org/2025.naacl-long.547/)
+	- [[2305.13971] Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning](https://arxiv.org/abs/2305.13971)
+	- [Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers - ACL Anthology](https://aclanthology.org/2025.acl-industry.34/)
+	- [omnilabNLP/LogicNLI](https://github.com/omnilabNLP/LogicNLI)
+- [[2512.05666] Feasibility of AI-Assisted Programming for End-User Development](https://arxiv.org/abs/2512.05666)
+	- [[Natural language programming]], [[End-user development]], [[Code generation]], [[Vibe coding]], [[Low code]]
+- [bitmark Association](https://www.bitmark-association.org/)
+	- [[OCR]], [[Structured data]], [[PDF]], [[Standards]], [[Language learning]], [[Ebook]], [[JSON]]
+	- [bitmark Documentation](https://docs.bitmark.cloud/)
+	- [bitmark standards](https://github.com/bitmark-standard)
+	- https://youtu.be/HvIXp4vc2yc?si=hBluUmzL3nOYsDl2
+	- [bitmark Comments | LinkedIn](https://www.linkedin.com/feed/update/urn:li:activity:7445394728239620096)
+- [GitHub - shanraisshan/codex-cli-best-practice: practice makes codex perfect · GitHub](https://github.com/shanraisshan/codex-cli-best-practice?tab=readme-ov-file#%EF%B8%8F-development-workflows)
+	- [[specification]], [[AI engineering]], [[AI agents]], [[codex]]
+- [GitHub - Fission-AI/OpenSpec: Spec-driven development (SDD) for AI coding assistants. · GitHub](https://github.com/Fission-AI/OpenSpec/)
+	- [[specification]], [[Software development]], [[AI Skill]], [[AI engineering]], [[Code generation]]
 -

pages/AI detection.md

@@ -1,8 +1,12 @@
 - [[Artificial intelligence in education]]
+- [[Academic Integrity]]
+- [[Cheating]]
 - [[Plagiarism detection]]
 - [[Not Recommended]]
 - [[Bias in algorithms]]
 - [[Carceral pedagogy]]
 - https://raid-bench.xyz/leaderboard
 	- [[Leaderboard]]
+- [Full article: Heads we win, tails you lose: AI detectors in education](https://www.tandfonline.com/doi/full/10.1080/1360080X.2026.2622146)
+- [[Process tracking]]
 -

pages/Academic integrity.md

@@ -1,6 +1,9 @@
 - [[Cheating]]
 - [[Plagiarism]]
 - [[Homework copying]]
+- [[Process tracking]]
+- [[Remote proctoring]]
+- [[Proctoring]]
 - [[Honor code]]
 - [[Grades]]
 - https://www.ai.niu.edu/academic-integrity/index.shtml

pages/Cognitive offloading.md

@@ -0,0 +1,5 @@
+- [[Metacognition]]
+- [[Artificial intelligence in education]]
+- [[Distributed cognition]]
+- [[Homework copying]]
+-

pages/Open LLM.md

@@ -2,4 +2,5 @@
 - [Opening up ChatGPT: tracking openness, transparency, and accountability in instruction-tuned text generators](https://opening-up-chatgpt.github.io/)
 	- https://opening-up-chatgpt.github.io/
 - [Ai2 Playground](https://playground.allenai.org/)
+- [The ATOM Project - American Truly Open Models](https://atomproject.ai/)
 -